Adapting Proofs-as-Programs : The Curry-Howard Protocol (Monographs in Computer Science).rarHigh Speed Download
File size : 2.34 MB