Lambda Calculus with Types
Autor Henk Barendregt et al.
11 iun 2014
Hardback
Preț: 698.84 lei 785.21 lei
6-8 săpt.
-11%
Cărți de Henk Barendregt
The Lambda Calculus. Its Syntax and Semantics
Autor Henk Barendregt
30 apr 2012
Paperback
Preț: 210.79 lei 263.48 lei
6-8 săpt.
-20%
Types for Proofs and Programs
Editat de Henk Barendregt et al.
20 mai 1994
Paperback
Preț: 327.48 lei 409.36 lei
6-8 săpt.
-20%