Lambda-Calculus and Combinators: An Introduction Autor J. Roger Hindley et al. 23 iul 2008 Hardback Preț: 484.10 lei 543.93 lei 6-8 săpt. -11%
Basic Simple Type Theory Cambridge Tracts in Theoretical Computer Science, nr. 42 Autor J. Roger Hindley 20 ian 2008 Paperback Preț: 268.00 lei 335.00 lei 6-8 săpt. -20%
Typed Lambda Calculi and Applications: Third International Conference on Typed Lambda Calculi and Applications, TLCA '97, Nancy, France, April 2-4, 1997, Proceedings Lecture Notes in Computer Science, nr. 1210 Editat de Philippe de Groote et al. 12 mar 1997 Paperback Preț: 325.76 lei 407.20 lei 6-8 săpt. -20%