Basic Simple Type Theory Cambridge Tracts in Theoretical Computer Science, nr. 42 Autor J. Roger Hindley 20 ian 2008 Paperback Preț: 286.34 lei 357.92 lei 43-57 zile -20%
Typed Lambda Calculi and Applications Editat de Philippe De Groote et al. 12 mar 1997 Paperback Preț: 328.29 lei 410.37 lei 43-57 zile -20%