Domains and lambda-calculi [ Livre]

Auteur principal: Amadio, Roberto M.Co-auteur: Curien, Pierre-LouisLangue: Français.Publication : Cambridge University Press, cop. 1998Description : 484 p.ISBN: 0521622778.Collection: Cambridge tracts in theoretical computer science, 46Classification: F 4 1 Logique mathématiqueSujet - Nom commun: Langages de programmation -- Mathématiques | Lambda-calcul
Current location Call number Status Notes Date due Barcode
ENS Rennes - Bibliothèque
Informatique
F 4 1 AMA (Browse shelf) Available F 4 1 Logique mathématique 00007603

Powered by Koha