Topic
Type theory
51 books
Type theory and functional programming
Simon Thompson.
Behavioural Types: From Theory to Tools
Simon Gay, António Ravara
Information and Knowledge: A Constructive Type-theoretical Approach (Logic, Epistemology, and the Unity of Science)
Giuseppe Primiero
History and philosophy of constructive type theory
by Giovanni Sommaruga.
Materialism and sensations. --
James W. Cornman
Type-theoretical grammar
Aarne Ranta.
A modern perspective on type theory: from its origins until today
by Fairouz Kamareddine, Twan Laan, and Rob Nederpelt.
History and Philosophy of Constructive Type Theory (SYNTHESE LIBRARY Volume 290)
Giovanni Sommaruga
Twenty-five years of constructive type theory: proceedings of a congress held in Venice, October 1995
edited by Giovanni Sambin and Jan M. Smith.
Modern Perspectives in Type-Theoretical Semantics
Stergios Chatzikyriakidis, Zhaohui Luo
Showing 10 of 51 books