Some Lambda Calculus and Type Theory Formalized
Journal of Automated Reasoning
Theory of Judgments and Derivations
Progress in Discovery Science, Final Report of the Japanese Discovery Science Project
Proof-assistants using dependent type systems
Handbook of automated reasoning
Type-checking injective pure type systems
Journal of Functional Programming
Mechanizing the metatheory of LF
ACM Transactions on Computational Logic (TOCL)
A mechanically verified, sound and complete theorem prover for first order logic
TPHOLs'05 Proceedings of the 18th international conference on Theorem Proving in Higher Order Logics
Hi-index | 0.00 |