An induction principle for pure type systems
Theoretical Computer Science
A Correspondence between Martin-Löf Type Theory, the Ramified Theory of Types and Pure Type Systems
Journal of Logic, Language and Information
CPS Translations and Applications: The Cube and Beyond
Higher-Order and Symbolic Computation
Explicitly Typed lambda µ-Calculus for Polymorphism an Call-by-Value
TLCA '99 Proceedings of the 4th International Conference on Typed Lambda Calculi and Applications
Partially Typed Terms between Church-Style and Curry-Style
TCS '00 Proceedings of the International Conference IFIP on Theoretical Computer Science, Exploring New Frontiers of Theoretical Informatics
Proof-assistants using dependent type systems
Handbook of automated reasoning
Journal of Functional Programming
| Hi-index | 0.00 |