Derivation and Computation : Taking the Curry-Howard Correspondence Seriously

Sponsored  This site contains affiliate links for which we may receive compensation. More information

Sponsored Derivation and Computation : Taking the Curry-Howard Correspondence Seriously

141.00 GBP
Price updated on: 13-07-2026 01:15:15
View product deal
Identifiers
ISBN H. Simmons 0521771730
Dimensions / Weight
Key Features
H. Simmons