Lambda calculi : a guide for computer scientists [ Livre] : / Chris, Hankin

Auteur principal: Hankin, ChrisLangue: Anglais ; de l'oeuvre originale, Anglais.Publication : Oxford University Press, 1994Description : XIII-162 p.ISBN: 0198538405.Collection: Graduate texts in computer scienceClassification: F 4 1 Logique mathématiqueSujet - Nom commun: Lambda-calcul
Current location Call number Status Notes Date due Barcode
ENS Rennes - Bibliothèque
Informatique
F 4 1 HAN (Browse shelf) Available F 4 1 Logique mathématique 00002853

Powered by Koha