CONTRIBUTION A L'ANALYSE STATIQUE DE PROGRAMMES LAMBDAPROLOG
LAMBDAPROLOG A VU LE JOUR DANS LES ANNEES 80 ET TROUVE SES FONDEMENTS AU SEIN DE DEUX THEORIES MATHEMATIQUES : LE LAMBDA-CALCUL ET LA LOGIQUE INTUITIONNISTE. ON PEUT VOIR LAMBDAPROLOG COMME UNE DOUBLE EXTENSION DE PROLOG : LES TERMES DU PREMIER ORDRE SONT REMPLACES PAR LES LAMBDA-TERMES TYPES ET LES...
Enregistré dans:
Auteur principal : | |
---|---|
Collectivité auteur : | |
Autres auteurs : | |
Format : | Thèse ou mémoire |
Langue : | français |
Titre complet : | CONTRIBUTION A L'ANALYSE STATIQUE DE PROGRAMMES LAMBDAPROLOG / FREDERIC MALESIEUX GRIMAULT; SOUS LA DIRECTION DE PATRICE BOIZUMAULT |
Publié : |
[S.l.] :
[s.n.]
, 1999 |
Description matérielle : | 184 P. |
Note de thèse : | Thèse de doctorat : Sciences appliquées : Nantes : 1999 |
Sujets : | |
Documents associés : | Reproduit comme:
CONTRIBUTION A L'ANALYSE STATIQUE DE PROGRAMMES LAMBDAPROLOG |
Particularités de l'exemplaire : | BU Sciences, Ex. 1 : Titre temporairement indisponible à la communication BU Sciences, Ex. 2 : Titre temporairement indisponible à la communication |
BU Sciences
| Cote | Prêt | Statut |
---|---|---|---|
Communication impossible | 99 NANT 2003 | Empruntable | Disponible |
Communication impossible | 99 NANT 2003 | Exclu du prêt | Disponible |
Bib. Centrale Nantes
| Cote | Prêt | Statut |
---|---|---|---|
Magasin 3 | Th.1774 bis | Empruntable | Disponible |
Magasin 3 | Th.1774 | Exclu du prêt | Disponible |