Adapting Proofs-as-Programs: The Curry--Howar

$132.99       (Free Shipping)