A Modern Perspective on Type Theory From its Origins until Today

• Main Author: Kamareddine, Fairouz
• Other Authors: Laan, Twan, Nederpelt, Rob
• Format: Electronic Kit Book
• Language: English
• Published: Dordrecht Springer Science + Business Media, Inc. 2005
• Series: Applied Logic Series 29
• Subjects: Computer science; Logic; Logic, Symbolic and mathematical; Mathematics; Mathematics of Computing; Λογική, Συμβολική και μαθηματική