Type Isomorphisms and Proof Reuse in Dependent Type Theory
FoSSaCS '01 Proceedings of the 4th International Conference on Foundations of Software Science and Computation Structures
An Introduction to Dependent Type Theory
Applied Semantics, International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000, Advanced Lectures
Proof-assistants using dependent type systems
Handbook of automated reasoning
Type-checking injective pure type systems
Journal of Functional Programming
A computational view of implicit coercions in type theory
Mathematical Structures in Computer Science
| Hi-index | 0.00 |