Logiques,catégories et machines : implantation de langages de programmation guidée par la logique catégorique / Yves Lafont ; sous la direction de Jean Yves Girard
Type de document : ThèseLangue : français.Pays: France.Éditeur : [S.l.] : [s.n.], 1988Description : 1 vol. (124 p.) ; 30 cmISBN: 2726105157.Bibliographie : Bibliogr. p. [123]-124.Sujet MSC : 03Bxx, Mathematical logic and foundations - General logic03-02, Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations
97-02, Research exposition (monographs, survey articles) pertaining to mathematics educationNote de thèse: Thése de doctorat, informatique, 1988, université Paris VII Item type:

Current library | Call number | Status | Date due | Barcode |
---|---|---|---|---|
CMI Salle S | Thèses LAF (Browse shelf(Opens below)) | Available | 09343-01 |
Bibliogr. p. [123]-124
Thése de doctorat informatique 1988 université Paris VII
DANS LE PREMIER CHAPITRE EST PROPOSEE UNE VUE D'ENSEMBLE SUR DES RAPPORTS ENTRE LOGIQUE, THEORIE DES CATEGORIES ET INFORMATIQUE DANS LE CAS DE LA PROGRAMMATION FONCTIONNELLE. LE DEUXIEME CHAPITRE CONTIENT UNE INTRODUCTION A LA LOGIQUE LINEAIRE AINSI QUE LES PRINCIPES DE LA MACHINE LINEAIRE. L'IMPLANTATION D'UN NOUVEAU LANGAGE QUI INTEGRE DES CARACTERISTIQUES NON FONCTIONNELLES, TOUT EN CONSERVANT LA NATURE DECLARATIVE DES LANGAGES FONCTIONNELS PURS EST PROPOSEE DANS LE TROISIEME CHAPITRE.
There are no comments on this title.