Typed Lambda Calculi and Applications: 9th International Conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009, Proceedings
Editat de Pierre-Louis Curien
8 iun 2009
Paperback
Preț: 329.34 lei 411.67 lei
39-44 zile
-20%
Cărți de Pierre-Louis Curien
Domains and Lambda-Calculi
Autor Roberto M. Amadio et al.
14 mai 2008
Paperback
Preț: 398.81 lei 498.52 lei
6-8 săpt.
-20%
Category Theory and Computer Science: Paris, France, September 3-6, 1991. Proceedings
Editat de David H. Pitt et al.
21 aug 1991
Paperback
Preț: 381.50 lei
6-8 săpt.
Combinators and Functional Programming Languages: Thirteenth Spring School of the LITP, Val d'Ajol, France, May 6-10, 1985. Proceedings
Editat de Guy Cousineau et al.
noi 1986
Paperback
Preț: 294.11 lei 367.64 lei
6-8 săpt.
-20%