Lambda-Calculus and Combinators: An Introduction Autor J. Roger Hindley et al. 23 iul 2008 Hardback Preț: 461.60 lei 501.74 lei 3-5 săpt. | 10-14 zile -8%
Basic Simple Type Theory Cambridge Tracts in Theoretical Computer Science, nr. 42 Autor J. Roger Hindley 20 ian 2008 Paperback Preț: 278.44 lei 348.05 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ț: 338.49 lei 423.11 lei 6-8 săpt. -20%