E-book
A Modern Perspective on Type Theory [electronic resource] : From its Origins until Today / by Fairouz Kamareddine, Twan Laan, Rob Nederpelt.
Record details
- ISBN: 9781402023354
- Physical Description: XIV, 360 p. online resource.
- Publisher: Dordrecht : Springer Netherlands, 2005.
Search for related items by subject
| Subject: | Mathematics. Logic. Computer science. Logic, Symbolic and mathematical. Mathematics. Mathematical Logic and Foundations. Mathematics of Computing. Logic. |
