A Modern Perspective on Type Theory
Kamareddine, Fairouz
A Modern Perspective on Type Theory From its Origins until Today [electronic resource] by Fairouz Kamareddine, Twan Laan, Rob Nederpelt - Dordrecht Springer Science + Business Media, Inc. 2005 - v.: digital - Applied Logic Series 29 1386-2790 .
9781402023354
Computer science
Logic
Logic, Symbolic and mathematical
Mathematics
Mathematics of Computing
Logic
Λογική, Συμβολική και μαθηματική
A Modern Perspective on Type Theory From its Origins until Today [electronic resource] by Fairouz Kamareddine, Twan Laan, Rob Nederpelt - Dordrecht Springer Science + Business Media, Inc. 2005 - v.: digital - Applied Logic Series 29 1386-2790 .
9781402023354
Computer science
Logic
Logic, Symbolic and mathematical
Mathematics
Mathematics of Computing
Logic
Λογική, Συμβολική και μαθηματική