Nantilus
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 |