Narrow These Results

 
Adapting Proofs-As-Programs: The Curry-Howard Protocol
 
Adapting Proofs-As-Programs: The Curry-Howard Protocol
by John N. Crossley, M. Wirsing, Iman Hafiz Poernomo
No user ratings
Logical Methods
 
Logical Methods
by John N. Crossley
No user ratings [rate this item]