Some Lambda Calculus and Type Theory Formalized
Journal of Automated Reasoning
Journal of Automated Reasoning
Condensing Lemmas for Pure Type Systems with Universes
AMAST '98 Proceedings of the 7th International Conference on Algebraic Methodology and Software Technology
Explicit Universes for the Calculus of Constructions
TPHOLs '02 Proceedings of the 15th International Conference on Theorem Proving in Higher Order Logics
An Implementation of Type: Type
TYPES '00 Selected papers from the International Workshop on Types for Proofs and Programs
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
Journal of Functional Programming
Type-checking injective pure type systems
Journal of Functional Programming
A Logical Framework with Explicit Conversions
Electronic Notes in Theoretical Computer Science (ENTCS)
Expansion postponement via cut elimination in sequent calculi for pure type systems
ICALP'03 Proceedings of the 30th international conference on Automata, languages and programming
A sequent calculus for type theory
CSL'06 Proceedings of the 20th international conference on Computer Science Logic
| Hi-index | 0.00 |