by Morten Heine Sørensen
No reviews yet. Be the first!
The Curry-Howard isomorphism
Derivation and computation
Adapting proofs-as-programs