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

Prijzen vanaf
19,41

Gesponsorde links

VERGELIJK ALLE AANBIEDERS (2)

Beschrijving

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

Description Beschrijving
Product Specifications Productspecificaties
Gerelateerde resultaten Gerelateerde resultaten
Next
Previous

Vergelijk aanbieders (2)

Gesponsorde links · Sommige shops betalen ons een vergoeding

Sorteren op:

€ 19,41

€ 19,41

Beschrijving (0)

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

Productspecificaties

Merk Independently Published
EAN
  • 9798163572540

Lambda Calculus With Types

102,50
Meer informatie Meer info

Introduction to Dependent Types with Idris: Encoding Program Proofs in

32,99
Meer informatie Meer info

Lulu.com

The House That Cannot Hold A Lie

18,43
Vergelijk 2 shops 2 shops

Lecture Notes in Computer Science 12065 From Lambda Calculus to Cybersecurity Through Program Analysis

48,99
Meer informatie Meer info
Uitgelichte Keuze
19,41
Naar shop