Explore Books on
type theory

Behavioural Types

By Simon Gay,António Ravara

Basic simple type theory

By J. Roger Hindley

Information and Knowledge

By Giuseppe Primiero

Type Theory and Formal Proof

By Rob Nederpelt,Herman Geuvers

History and philosophy of constructive type theory

By Giovanni Sommaruga

Twenty-five years of constructive type theory

By Giovanni Sambin,Jan M. Smith

Type-theoretical grammar

By Aarne Ranta

Theory of Logical Types

By Irving Marmer Copi

An introduction to mathematical logic and type theory

By P. B. Andrews

Semantische Paradoxien, Typentheorie und ideale Sprache

By Rosemarie Rheinwald

A modern perspective on type theory

By Fairouz D. Kamareddine

Language Engineering And Rigorous Software Development

By Luis Soares Barbosa

Treatise on intuitionistic type theory

By Johan Georg Granström

The Curry-Howard isomorphism

By Philippe De Groote

Types for proofs and programs

By International Workshop TYPES '96 (1996 Aussois, France)

Materialism and sensations

By James W. Cornman

Derivation and computation

By Harold Simmons

Automated Reasoning in Higher-order Logic

By C, E Brown

Apopseis tēs typikēs logikēs

By

Extensional constructs in intensional type theory

By Martin Hofmann

A programming logic based on type theory

By Erik Poll

Three-valued logic and cut-elimination, the actual meaning of Takeuti's conjecture

By J. Y. Girard

Mehrsortige Prädikatenlogiken und Klassentheorien

By Friedemann Tuttas

Isomorphisms of types

By Roberto Di Cosmo