Semantics of Type Theory Correctness, Completeness, and Independence Results

Logic of Computation

Treatise on Intuitionistic Type Theory

A Modern Perspective on Type Theory From its Origins until Today

Cut Elimination in Categories

Types for Proofs and Programs International Workshop TYPES '94, Bastad, Sweden, June 6-10, 1994. Selected Papers

Logic of Domains (Progress in Theoretical Computer Science)

A Short Introduction to Intuitionistic Logic

Higher-Order Computability

Category Theory and Computer Science Paris, France, September 3-6, 1991. Proceedings

Computational Logic

Description