EKL—a mathematically oriented proof checker
Proc. of the conference on 7th international conference on automated deduction
A Complete Mechanization of Second-Order Type Theory
Journal of the ACM (JACM)
Proving Theorems about LISP Functions
Journal of the ACM (JACM)
The Expressiveness of Simple and Second-Order Type Structures
Journal of the ACM (JACM)
The Identification of Propositions and types in Martin-Löf's Type Theory: A Programming Example
Proceedings of the 1983 International FCT-Conference on Fundamentals of Computation Theory
An Approach to Theorem Proving on the Basis of a Typed Lambda-Calculus
Proceedings of the 5th Conference on Automated Deduction
Definitional interpreters for higher-order programming languages
ACM '72 Proceedings of the ACM annual conference - Volume 2
Programming in Constructive Set Theory: Some examples
FPCA '81 Proceedings of the 1981 conference on Functional programming languages and computer architecture
Reasoning about functional programs and complexity classes associated with type disciplines
SFCS '83 Proceedings of the 24th Annual Symposium on Foundations of Computer Science
Towards a mathematical theory of program synthesis
IJCAI'79 Proceedings of the 6th international joint conference on Artificial intelligence - Volume 2
A lemma driven automatic theorem prover for recursive function theory
IJCAI'77 Proceedings of the 5th international joint conference on Artificial intelligence - Volume 1
Program synthesis from natural deduction proofs
IJCAI'79 Proceedings of the 6th international joint conference on Artificial intelligence - Volume 1
DGCI'08 Proceedings of the 14th IAPR international conference on Discrete geometry for computer imagery
| Hi-index | 0.00 |