Modern Perspective on Type Theory
Subtitle: From Its Origins until Today
Publisher: Springer
Published: 2010
Language: eng
Number of pages: 360
ISBN-13: 9789048166398
Subjects: Logic, symbolic and mathematical