Treatise on Intuitionistic Type Theory
Publisher: Springer
Published: Jun 09, 2011
Format: paperback
Number of pages: 212
ISBN-13: 9789400717374