Libri di J. Roger Hindley
-
Typed Lambda Calculi and Applications: Third International Conference on Typed Lambda Calculi and Applications, TLCA '97, Nancy, France, April 2-4, 1997, Proceedings
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1997Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane67,70 € -
Lambda-Calculus and Combinators: An Introduction
Venditore: Feltrinelli106,30 € -
Basic Simple Type Theory
Venditore: Feltrinelli162,50 € -
Basic Simple Type Theory
Venditore: FeltrinelliCambridge University Press, 2008Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane65,00 €
Informazioni sull’ordinamento
Vengono mostrati per primi i prodotti che rispondono a questi criteri: rilevanza rispetto alla ricerca, dati di venduto, disponibilità, data di pubblicazione, tipologia di prodotto, personalizzazione ad eccezione delle sponsorizzazioni.