On Relating Type Theories and Set Theories
TYPES '98 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
Journal of Functional Programming
The not so simple proof-irrelevant model of CC
TYPES'02 Proceedings of the 2002 international conference on Types for proofs and programs
A foundational view on integration problems
MKM'11 Proceedings of the 18th Calculemus and 10th international conference on Intelligent computer mathematics
On the strength of proof-irrelevant type theories
IJCAR'06 Proceedings of the Third international joint conference on Automated Reasoning
TYPES'04 Proceedings of the 2004 international conference on Types for Proofs and Programs
λZ: Zermelo's set theory as a PTS with 4 sorts
TYPES'04 Proceedings of the 2004 international conference on Types for Proofs and Programs
Computing in cantor's paradise with λZFC
FLOPS'12 Proceedings of the 11th international conference on Functional and Logic Programming
Type-Based Productivity of Stream Definitions in the Calculus of Constructions
LICS '13 Proceedings of the 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science
Hi-index | 0.00 |