A Constructive Algebraic Hierarchy in Coq
Authors:
- 1 October 2002
- journal article
- Published by Elsevier in Journal of Symbolic Computation
- Vol. 34 (4) , 271-286
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- Coercive subtypingJournal of Logic and Computation, 1999
- On the way to certify Computer Algebra SystemsElectronic Notes in Theoretical Computer Science, 1999
- Typing algorithm in type theory with inheritance1997
- Conclusions1995
- Ergänzung zu einer Arbeit von Hellmuth Kneser über den Fundamentalsatz der AlgebraMathematische Zeitschrift, 1981