A Constructive Algebraic Hierarchy in Coq
- 1 October 2002
- journal article
- Published by Elsevier in Journal of Symbolic Computation
- Vol. 34 (4) , 271-286
- https://doi.org/10.1006/jsco.2002.0552
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 inheritancePublished by Association for Computing Machinery (ACM) ,1997
- ConclusionsPublished by Oxford University Press (OUP) ,1995
- Ergänzung zu einer Arbeit von Hellmuth Kneser über den Fundamentalsatz der AlgebraMathematische Zeitschrift, 1981