Pure Type Systems with Subtyping
TLCA '99 Proceedings of the 4th International Conference on Typed Lambda Calculi and Applications
Explicit Universes for the Calculus of Constructions
TPHOLs '02 Proceedings of the 15th International Conference on Theorem Proving in Higher Order Logics
FoSSaCS '01 Proceedings of the 4th International Conference on Foundations of Software Science and Computation Structures
Proof-assistants using dependent type systems
Handbook of automated reasoning
A Framework for Defining Logical Frameworks
Electronic Notes in Theoretical Computer Science (ENTCS)
An operational approach to program extraction in the calculus of constructions
LOPSTR'02 Proceedings of the 12th international conference on Logic based program synthesis and transformation
On the strength of proof-irrelevant type theories
IJCAR'06 Proceedings of the Third international joint conference on Automated Reasoning
Extensionality in the calculus of constructions
TPHOLs'05 Proceedings of the 18th international conference on Theorem Proving in Higher Order Logics
Towards normalization by evaluation for the βη-calculus of constructions
FLOPS'10 Proceedings of the 10th international conference on Functional and Logic Programming
Pure type systems with corecursion on streams: from finite to infinitary normalisation
Proceedings of the 17th ACM SIGPLAN international conference on Functional programming
Hi-index | 0.00 |