Normal view MARC view ISBD view

RESULTATS DE CONFLUENCE POUR LES REGLES FORTES DE LA LOGIQUE COMBINATOIRE CATEGORIQUE ET LIENS AVEC LES LAMBDA-CALCULS / THERESE HARDIN-ACCART ; SOUS LA DIRECTION DE PIERRE-LOUIS CURIEN

Auteur principal : HARDIN-ACCART, THERESE, AuteurAuteur secondaire : : Curien, Pierre-Louis, Directeur de thèseLangue :de résumé, Français.Publication :[S.l.] : [s.n.], 1987Description : 238 P. ; 30 cmISBN : 2-7261-0514-9.Dewey: 670Classification : 001.D.02.A.04Résumé : 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.Bibliographie: 62 REF.Thèse : .Sujet - Nom d'actualité : Lambda-calcul ;Logique combinatoire Sujet : LAMBDA CALCUL ;THEORIE DES CATEGORIES
Current location Call number Status Date due Barcode
Centre de recherche en informatique
EM AI CI3763 Sur demande CRI02588D

1987PA077209

62 REF

DOCTORAT D'ETAT SCIENCES APPLIQUEES Paris 7 1987

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

Powered by Koha