the Program That Cannot Lie: From Lambda Calculus to Dependent Types, Following CurryHoward Correspondence

Prices from
14.99

Sponsored links

COMPARE ALL WEBSHOPS (2)

Description

the Program That Cannot Lie: From Lambda Calculus to Dependent Types, Following CurryHoward Correspondence

Description Description
Product Specifications Product specifications
Related results Related results
Next
Previous

Compare webshops (2)

Sponsored links · Some shops pay us a fee

Sort by:

£ 14.99

£ 14.99

Description (0)

the Program That Cannot Lie: From Lambda Calculus to Dependent Types, Following CurryHoward Correspondence

Product specifications

Brand Independently Published
EAN
  • 9798163572540

Apress

Introduction to Dependent Types with Idris: Encoding Program Proofs in

£ 29.97
Compare 2 stores 2 stores

Lulu.com

The House That Cannot Hold A Lie

£ 14.80
Compare 2 stores 2 stores

Cambridge University Press

Lambda Calculus with Types (Perspectives in Logic)

£ 70.09
More Information More Info

Independently Published

The Lie you Cannot See: Truth that sets free (The Series)

£ 12.00
Compare 2 stores 2 stores
Featured Choice
£ 14.99
To Shop