Basic simple type theory / J. Roger Hindley [ Livre]

Auteur principal: Hindley, James RogerLangue: Anglais.Publication : Cambridge : Cambridge University Press, 1997Description : XI-186 p. ; 24 cmISBN: 0521465184.Collection: Cambridge tracts in theoretical computer science, 42Classification: F 4 1 Logique mathématiqueSujet - Nom commun: Types, Théorie des | Langages de programmation
Current location Call number Status Notes Date due Barcode
ENS Rennes - Bibliothèque
Informatique
F 4 1 HIN (Browse shelf) Available F 4 1 Logique mathématique 00002488

Bibliogr. p. 169-176

Powered by Koha