Limit search to available items
Add Marked to Bag Add All On Page Add Marked to My Lists
Subjects (1-2 of 2)
Curry-Howard isomorphism.
1
E-book
2005

Adapting proofs-as-programs : the Curry-Howard protocol


Poernomo, Iman Hafiz, 1976-
New York : Springer, [2005]

Rating:

 
 
2
E-book
2006

Lectures on the Curry-Howard isomorphism


Sørensen, Morten Heine.
Amsterdam ; Boston [MA] : Elsevier, 2006

Rating:

 
 
Add Marked to Bag Add All On Page
Locate in results