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

Auteur principal : Lafont, Yves, 1961-, AuteurAuteur secondaire : Girard, Jean-Yves, 1947-, Directeur de thèseAuteur secondaire collectivité : Université Paris Diderot - Paris 7, Etablissement de soutenanceType 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 logic
03-02, Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations
97-02, Research exposition (monographs, survey articles) pertaining to mathematics education
Note de thèse: Thése de doctorat, informatique, 1988, université Paris VII Item type: Thèse
Tags from this library: No tags from this library for this title. Log in to add tags.
Holdings
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.

to post a comment.