×
  • Adapting Proofs-as-Programs : The Curry-Howard Protocol

    Iman Poernomo John N. Crossley Martin Wirsing

Click on cover to enlarge.
9 - 10Hours to read