1. Home
  2. Media
  3. Books
  4. Derivation and Computation : Taking the Curry-Howard Correspondence Seriously
  • #

Derivation and Computation : Taking the Curry-Howard Correspondence Seriously

134.00 GBP

Share:

Related products

Simple Theorems, Proofs, and Derivations in Quantum Chemistry

Simple Theorems, Proofs, and Derivations in Quantum Chemistry

0.00
Springer Course in Derivative Securities

Springer Course in Derivative Securities

0.00
Interest Rate Swaps and Other

Interest Rate Swaps and Other

58.00 GBP
Options, Futures, and Other Derivatives, Global Edition

Options, Futures, and Other Derivatives, Global Edition

58.20 GBP
D'oh! Fourier: Theory, Applications, And Derivatives

D'oh! Fourier: Theory, Applications, And Derivatives

55.00 GBP
Jonathan Beller The World Computer

Jonathan Beller The World Computer

25.99 GBP
Quad Chain Separator Tool

Quad Chain Separator Tool

35.29 GBP
How To Derive A Formula

How To Derive A Formula - Volume 1: Basic Analytical Skills And Methods For Physical Scientists

80.00 GBP