A history of types

Fairouz Dib Kamareddine, Twan Laan, Rob Nederpelt

Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

Original languageEnglish
Title of host publicationLogic: A History of its Central Concepts
Place of PublicationSan Diego
PublisherElsevier
Pages451-512
Volume11
ISBN (Print)00 80931707
Publication statusPublished - 2012

Cite this

Kamareddine, F. D., Laan, T., & Nederpelt, R. (2012). A history of types. In Logic: A History of its Central Concepts (Vol. 11, pp. 451-512). Elsevier.