Normal view MARC view ISBD view

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, Mathematical logic and foundations, Research exposition (monographs, survey articles)
Note de thèse: Thése de doctorat, informatique, 1988, université Paris VII
Tags from this library: No tags from this library for this title. Log in to add tags.
Current location Call number Status Date due Barcode
CMI
Salle S
Thèses LAF (Browse shelf) 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 for this item.

Log in to your account to post a comment.