Lambda-Calculus and Combinators: An Introduction Autor J. Roger Hindley et al. 23 iul 2008 Hardback Preț: 510.64 lei 573.76 lei 6-8 săpt. -11%
Typed Lambda Calculi and Applications Editat de Philippe De Groote et al. 12 mar 1997 Paperback Preț: 327.28 lei 409.10 lei 6-8 săpt. -20%
Basic Simple Type Theory Cambridge Tracts in Theoretical Computer Science, nr. 42 Autor J. Roger Hindley 20 ian 2008 Paperback Preț: 283.47 lei 354.33 lei 6-8 săpt. -20%