Extensional Constructs in Intensional Type Theory
Publisher: Springer London, Limited
Published: 2011
Language: eng
Number of pages: 216
ISBN-13: 9781447112433
Subjects: Automatic theorem proving; Functional programming (computer science); Logic, symbolic and mathematical