Proofs and Types

Author: Jean-Yves Girard, Yves Lafont, Paul Taylor
Publisher: Cambridge University Press
Language: English
Year: 1989
Page: 187
ISBN: 0521371813
File Type: djvu
File Size: 1.3 MiB

How to Download?!!!

Just click on START button on Telegram Bot

Free Download Book