Basic Simple Type Theory Cambridge Tracts in Theoretical Computer Science, nr. 42 Autor J. Roger Hindley 20 ian 2008 Paperback Preț: 270.54 lei 338.17 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ț: 328.85 lei 411.06 lei 6-8 săpt. -20%