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

Prices from
17.79

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:

€ 17.79

€ 17.79

Description (0)

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

Product specifications

Brand Independently Published
EAN
  • 9798163572540

Lulu.com

The House That Cannot Hold A Lie

€ 17.22
Compare 2 stores 2 stores

Independently Published

The Lie you Cannot See: truth that sets free

€ 14.18
Compare 2 stores 2 stores

F&L CREATIVE

the Invisible Billionaire: and lie that even blockchain cannot verify

€ 6.92
Compare 2 stores 2 stores

Independently Published

Released from the Secrets that Lie Within

€ 12.53
Compare 2 stores 2 stores
Featured Choice
€ 17.79
To Shop