Extraction de programmes dans le calcul des constructions / Christine Paulin-Mohring ; sous la direction de Gerard Huet

Auteur principal : Paulin-Mohring, Christine, 1962-, AuteurAuteur secondaire : Huet, Gérard, 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.], 1989Description : 1 vol. (228 p.) ; 30 cmISBN: 2726105718.Bibliographie : Bibliogr. p. 226-[229].Sujet MSC : 68N18, Computer science - Theory of software, Functional programming and lambda calculus
68P30, Computer science - Theory of data, Coding and information theory
68N15, Computer science - Theory of software, Theory of programming languages
97-02, Research exposition (monographs, survey articles) pertaining to mathematics educationNote de thèse: Thèse de doctorat, informatique, 1989, université Paris VIIEn-ligne : Tel 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 PAU (Browse shelf(Opens below)) Available 09885-01

Bibliogr. p. 226-[229]

Thèse de doctorat informatique 1989 université Paris VII

Cette thèse propose une extension du Calcul des Constructions de Coquand et Huet qui permet l'extraction de programmes certifiés à partir de preuve constructive. Une notion de réalisabilité modifiée est introduite et étudiée. Un codage imprédicatif d'une large classe de définitions inductives est proposé.

There are no comments on this title.

to post a comment.