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

History and philosophy of constructive type theory

By Giovanni Sommaruga

Twenty-five years of constructive type theory

By Giovanni Sambin,Jan M. Smith

Type Theory and Formal Proof

By Rob Nederpelt,Herman Geuvers

Semantische Paradoxien, Typentheorie und ideale Sprache

By Rosemarie Rheinwald

An introduction to mathematical logic and type theory

By P. B. Andrews

A modern perspective on type theory

By Fairouz D. Kamareddine

Type-theoretical grammar

By Aarne Ranta

Treatise on intuitionistic type theory

By Johan Georg Granström

Materialism and sensations

By James W. Cornman

The Curry-Howard isomorphism

By Philippe De Groote

Types for proofs and programs

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

Language Engineering And Rigorous Software Development

By Luis Soares Barbosa

Theory of Logical Types

By Irving Marmer Copi

Modern Perspectives in Type-Theoretical Semantics

By Stergios Chatzikyriakidis,Zhaohui Luo

Automated Reasoning in Higher-order Logic

By C, E Brown

The theory of logical types

By Irving Marmer Copi

A transfinite type theory with type variables

By P. B. Andrews

Las paradojas lógicas y la teoría de la predicación

By Dennis Cardozo Biritos

Derivation and computation

By Harold Simmons

Reanimation in philosophy

By Palmer Talbutt

Apopseis tēs typikēs logikēs

By