Constructing recursion operators in intuitionistic type theory
Journal of Symbolic Computation
Synthesis of ML programs in the system Coq
Journal of Symbolic Computation - Special issue on automatic programming
Termination of Nested and Mutually Recursive Algorithms
Journal of Automated Reasoning
Nested General Recursion and Partiality in Type Theory
TPHOLs '01 Proceedings of the 14th International Conference on Theorem Proving in Higher Order Logics
Type-Theoretic Functional Semantics
TPHOLs '02 Proceedings of the 15th International Conference on Theorem Proving in Higher Order Logics
System Description: RDL : Rewrite and Decision Procedure Laboratory
IJCAR '01 Proceedings of the First International Joint Conference on Automated Reasoning
Modelling general recursion in type theory
Mathematical Structures in Computer Science
General recursion in type theory
TYPES'02 Proceedings of the 2002 international conference on Types for proofs and programs
| Hi-index | 0.00 |