Libri di Henk Barendregt
Tutti i risultati (4)
-
The Lambda Calculus. Its Syntax and Semantics
Venditore: Feltrinelli ()39,40 € -
Types for Proofs and Programs: International Workshop TYPES '93, Nijmegen, The Netherlands, May 24 - 28, 1993. Selected Papers
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1994Libri in Inglese | Science, Computer & TechnologyDisp. in 2 settimane67,80 € -
A Lambda Calculus Satellite
Venditore: Feltrinelli39,20 € -
Lambda Calculus with Types
Venditore: Feltrinelli111,06 €
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.
