A Kripke-Style Model for the Admissibility of Structural Rules
TYPES '00 Selected papers from the International Workshop on Types for Proofs and Programs
A General Notion of Realizability
LICS '00 Proceedings of the 15th Annual IEEE Symposium on Logic in Computer Science
Theoretical Computer Science - Mathematical foundations of programming semantics
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
∂ for Data: Differentiating Data Structures
Fundamenta Informaticae - Typed Lambda Calculi and Applications 2003, Selected Papers
Towards Formalizing Categorical Models of Type Theory in Type Theory
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
Electronic Notes in Theoretical Computer Science (ENTCS)
The identity type weak factorisation system
Theoretical Computer Science
Three extensional models of type theory
Mathematical Structures in Computer Science
Kripke Semantics for Martin-Löf's Extensional Type Theory
TLCA '09 Proceedings of the 9th International Conference on Typed Lambda Calculi and Applications
Two-dimensional models of type theory
Mathematical Structures in Computer Science
TLCA'03 Proceedings of the 6th international conference on Typed lambda calculi and applications
The biequivalence of locally cartesian closed categories and Martin-Löf type theories
TLCA'11 Proceedings of the 10th international conference on Typed lambda calculi and applications
Topological and Simplicial Models of Identity Types
ACM Transactions on Computational Logic (TOCL)
First-order logic with dependent types
IJCAR'06 Proceedings of the Third international joint conference on Automated Reasoning
On the semantics of coinductive types in martin-löf type theory
CALCO'05 Proceedings of the First international conference on Algebra and Coalgebra in Computer Science
∂ for Data: Differentiating Data Structures
Fundamenta Informaticae - Typed Lambda Calculi and Applications 2003, Selected Papers
Intensional Type Theory with Guarded Recursive Types qua Fixed Points on Universes
LICS '13 Proceedings of the 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science
Hi-index | 0.00 |