×
  • Derivation and Computation: Taking the Curry-Howard Correspondence Seriously

    Harold Simmons

Click on cover to enlarge.
Buy This Book
From Amazon.
9 - 10Hours to read