3 ms·
What's a suitable resource depends on your background. If you like books, "Proofs and Types" by Girard, Lafont, Taylor [1] is a great read, albeit idiosyncratic
by mafribe 11y ago
What's a suitable resource depends on your background. If you like books, "Proofs and Types" by Girard, Lafont, Taylor [1] is a great read, albeit idiosyncratic.
[1] http://www.paultaylor.eu/stable/prot.pdf http://www.paultaylor.eu/stable/prot.pdf