#4: Proofs and Types (Cambridge Tracts in Theoretical Computer Science)
Proofs and Types (Cambridge Tracts in Theoretical Computer Science) by Jean-Yves Girard, Yves Lafont, Paul Taylor 2 used & new from $237.80 (Ranking is updated hourly. Visit the Most Wished For in Research list for authoritative information on this product’s current rank.)

Read more from the original source:
#4: Proofs and Types (Cambridge Tracts in Theoretical Computer Science)






