On Relating Type Theories and Set Theories / Peter Aczel |
Communication Modelling and Context-Dependent Interpretation: An Integrated Approach / René Ahn ; Tijn Borghuis |
Gröbner Bases in Type Theory / Thierry Coquand ; Henrik Persson |
A Modal Lambda Calculus with Iteration and Case Constructs / Joëlle Despeyroux ; Pierre Leleu |
Proof Normalization Modulo / Gilles Dowek ; Benjamin Werner |
Proof of Imperative Programs in Type Theory / Jean-Christophe Filliâtre |
An Interpretation of the Fan Theoremin Type Theory / Daniel Fridlender |
Conjunctive Types and SKInT / Jean Goubault-Larrecq |
Modular Structures as Dependent Types in Isabelle / Florian Kammüller |
Metatheory of Verification Calculi in LEGO / Thomas Kleymann |
Bounded Polymorphism for Extensible Objects / Luigi Liquori |
About Effective Quotients in Constructive Type Theory / Maria Emilia Maietti |
Algorithms for Equality and Unification in the Presence of Notational Definitions / Frank Pfenning ; Carsten Schurmann |
A Preview of the Basic Picture: A New Perspective on Formal Topology / Giovanni Sambin ; Silvia Gebellato |
On Relating Type Theories and Set Theories / Peter Aczel |
Communication Modelling and Context-Dependent Interpretation: An Integrated Approach / René Ahn ; Tijn Borghuis |
Gröbner Bases in Type Theory / Thierry Coquand ; Henrik Persson |
A Modal Lambda Calculus with Iteration and Case Constructs / Joëlle Despeyroux ; Pierre Leleu |
Proof Normalization Modulo / Gilles Dowek ; Benjamin Werner |
Proof of Imperative Programs in Type Theory / Jean-Christophe Filliâtre |