skip to main content

RESULTATS DE CONFLUENCE POUR LES REGLES FORTES DE LA LOGIQUE COMBINATOIRE CATEGORIQUE ET LIENS AVEC LES LAMBDA-CALCULS

HARDIN-ACCART, THERESE ; Curien, Pierre-Louis

S.l. : s.n., 1987

Voir les exemplaires

  • Titre:
    RESULTATS DE CONFLUENCE POUR LES REGLES FORTES DE LA LOGIQUE COMBINATOIRE CATEGORIQUE ET LIENS AVEC LES LAMBDA-CALCULS
  • Auteur: HARDIN-ACCART, THERESE
  • Autre(s) auteur(s): Curien, Pierre-Louis
  • Sujets: Lambda-calcul ;
    Logique combinatoire ;
    LAMBDA CALCUL ;
    THEORIE DES CATEGORIES ;
    H-INF.TH.
  • Description: DOCTORAT D'ETAT
    IL EST MONTRE QUE LA LOGIQUE COMBINATOIRE CATEGORIQUE FORTE TYPEE, C.C.L., CONTIENT UNE EXTENSION CONSERVATIVE CONFLUENTE DU LAMBDA CALCUL MUNI DE L'EGALITE BETA-ETA AUSSI QU'UNE EXTENSION CONSERVATIVE ET CONFLUENTE DU LAMBDA CALCUL AVEC COUPLES SOUS LA REGLE D'UNICITE. DE PLUS, ELLE CONTIENT UN SOUS-SYSTEME CONFLUENT PERMETTANT NON SEULEMENT DE FRAGMENTER L'OPERATION DE SUBSTITUTION MAIS AUSSI DE FAIRE DES CALCULS ENTRE PLUSIEURS SUBSTITUTIONS EN COURS D'EVALUATION. LES RESULTATS DE CONFLUENCE ET NON-CONFLUENCE NECESSITENT LA MISE EN PLACE D'UNE NOUVELLE METHODE APPELEE METHODE D'INTERPRETATION
  • Éditeur: S.l. : s.n.
  • Date de publication: 1987
  • Format: 238 P. ; 30 cm
  • Langue: Français
  • Identifiant: ISBN 2-7261-0514-9
  • Source: Mines ParisTech (catalogue)

Recherche dans les bases de données distantes en cours. Merci de patienter.

  • Recherche
  • dansscope:(33PSL-CNSAD),scope:(33PSL-EHESS),scope:(33PSL-PSL_OMEKA),scope:(33PSL-MINES),scope:(33PSL-EFEO),scope:(33PSL-CNSMDP),scope:(33PSL-CHIMIE),scope:(33PSL),scope:("DAU"),scope:(33PSL-CDF),scope:(33PSL-ENS),scope:("33PSL-OBSERV"),scope:("33PSL-ESPCI"),scope:(33PSL-CURIE),scope:(33PSL-ENSBA),scope:("33PSL-ENC"),scope:(33PSL-PSL_STAR),scope:(33PSL-PSL_SFX),scope:("33PSL-EPHE"),scope:(33PSL-ENSAD),primo_central_multiple_fe
  • Afficher ce qui a déjà été récupéré