The Type Theory of Lean [Thesis]

Author: Mario Carneiro
Language: English
Year: 2019
File Type: pdf
File Size: 450.2 KiB

How to Download?!!!

Just click on START button on Telegram Bot

Free Download Book