The Type Theory of Lean [Thesis]

Title	The Type Theory of Lean [Thesis]
Author	Mario Carneiro
Year	2019
Edition
Volume
Series
Publisher
City
Language	English

Size: 450.25KB | Pages: | LLC: N/A | DDC:

Download Links (pdf)

Library Z-Library Torrent

Open Mirror Link and click GET