Type theory

A modern perspective on type theory : from its origins until today / by Fairouz Kamareddine, Twan Laan and Rob Nederpeltschema:ProductModel A modern perspective on type theory : from its origins until today / by Fairouz Kamareddine, Twan Laan, and Rob Nederpeltschema:ProductModel A programming logic based on type theory / Erik Pollschema:ProductModel Abstraction and computation : type theory, algebraic structures, and recursive functions / Venanzio Caprettaschema:ProductModel Algorithms for type theory / Johannes Gerardus Springintveldschema:ProductModel An introduction to mathematical logic and type theory: to truth through proof / by Peter B. Andrewsschema:ProductModel Categorical logic and type theory / Bart Jacobsschema:ProductModel Categorical type theory / Bartholomeus Paulus Franciscus Jacobsschema:ProductModel Coming to terms with modal logic : on the interpretation of modalities in typed →l⇋-calculus / Valentijn Anton Johan Borghuisschema:ProductModel Language in action : categories, lambdas and dynamic logic / Johan van Benthemschema:ProductModel Logic, information and conversation / Paul Leo Antoine Piwekschema:ProductModel Mathematical logic / ed. by R.O. Gandy and C.E.M. Yates ; including pref. by Solomon Feferman ... [et al.]schema:ProductModel Mathematical logic / ed. by R.O. Gandy and C.E.M. Yates ; including pref. by Solomon Feferman ... [et al.]schema:ProductModel Models for simply typed lambda-calculi with fixed point combinators and enumerators / Johannes Petrus Cornelius Maria van Draanenschema:ProductModel Properties of typing systems / Milena Todorova Stefanovaschema:ProductModel Studies in mechanical verification of mathematical proofs / Mark Pieter Jan Ruysschema:ProductModel The evolution of type theory in logic and mathematics / Twan Dismas Laurens Laanschema:ProductModel Type theoretical topics in topos theory / door Ferdinand Jan de Vriesschema:ProductModel Types and computations in lambda calculi and graph rewrite systems / Erik Barendsenschema:ProductModel Types, tableaus, and Gödel's God / Melvin Fittingschema:ProductModel ... show all 21