TYPES '00 Selected papers from the International Workshop on Types for Proofs and Programs
Modular correspondence between dependent type theories and categories including pretopoi and topoi
Mathematical Structures in Computer Science
Containers: constructing strictly positive types
Theoretical Computer Science - Applied semantics: Selected topics
Constructive Membership Predicates as Index Types
Electronic Notes in Theoretical Computer Science (ENTCS)
Quotients over Minimal Type Theory
CiE '07 Proceedings of the 3rd conference on Computability in Europe: Computation and Logic in the Real World
The identity type weak factorisation system
Theoretical Computer Science
Computer certified efficient exact reals in Coq
MKM'11 Proceedings of the 18th Calculemus and 10th international conference on Intelligent computer mathematics
Constructing a small category of setoids
Mathematical Structures in Computer Science
Extensionality in the calculus of constructions
TPHOLs'05 Proceedings of the 18th international conference on Theorem Proving in Higher Order Logics
A semi-reflexive tactic for (sub-)equational reasoning
TYPES'04 Proceedings of the 2004 international conference on Types for Proofs and Programs
Inductive Types in Homotopy Type Theory
LICS '12 Proceedings of the 2012 27th Annual IEEE/ACM Symposium on Logic in Computer Science
Hi-index | 0.00 |