Resultats de confluence pour les regles fortes de la logique combinatoire categorique et liens avec les lambda-calculs

Etude et realisation d'un outil de conception de systemes logiques complexes

Tais Lailhugue, Didier

January 1987

SIGLECNRS T Bordereau / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Ateliers de genie logiciel : etudes, modeles de bases de donnees, contribution du modele entite : association au cycle de vie du logiciel

Bertrand, Christian

January 1989

SIGLECNRS T Bordereau / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Apprentissage et calculs

Boucheron, Stephane

January 1988

SIGLECNRS T Bordereau / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Calcul relationnel et programmation en logique

Legrand, Remi

January 1987

SIGLECNRS T Bordereau / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

From categorical combinators to #lambda##sigma#-calculi, a quest for confluence

Hardin, Therese
Institut National de Recherche en Informatique et en Automatique (INRIA), 78 - Rocquencourt (France). Unite de Recherche de Rocquencourt

January 1992

Available at INIST (FR), Document Supply Service, under shelf-number : 14802 E, issue : a.1992 n.177...

ECOLE : un systeme de calcul formel pour expression combinatoire ou lambda-expression : applications aux termes lineaires et ordonnes

Girard, Nelly

January 1986

CNRS T Bordereau / INIST-CNRS - Institut de l'Information Scientifique et TechniqueSIGLEFRFranc

La logique lineaire a l'etude de divers processus de normalisation (principalement du lambda-calcul)

Danos, Vincent

January 1990

SIGLEINIST T 77210 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Un lambda-calcul pour le parallelisme et la communication

Boudol, Gerard
Institut National de Recherche en Informatique et en Automatique (INRIA), 06 - Valbonne (France). Unite de Recherche de Sophia-Antipolis

January 1988

SIGLECNRS 14802 E / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Formes logarithmiques fermees a poles sur un diviseur a croisements normaux, et classification topologique des germes de formes logarithmiques generiques de Cn

Paul, Emmanuel

January 1987

SIGLECNRS T Bordereau / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Lambda-calculus, combinators and the comprehension scheme

Dowek, Gilles
Institut National de Recherche en Informatique et en Automatique (INRIA), 78 - Rocquencourt (France). Unite de Recherche de Rocquencourt

January 1995

Programme 2 - Calcul symbolique, programmation et genie logiciel - Projet CoqSIGLEAvailable at INIST...

From categorical combinators to lambda-sygma-calculi, a quest for confluence

Hardin, Thérèse

January 1992

Projet CHLOEThe l-calculus is known to be the theoretical base of functional programming languages. ...

Raisonnement automatique en logique modale et algorithmes d'unification

Herzig, Andreas

January 1989

SIGLECNRS T Bordereau / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Some syntactic and categorical constructions of lambda-calculus models

Berry, G
Institut National de Recherche en Informatique et en Automatique (INRIA), 78 - Le Chesnay (France)

January 1981

SIGLEAvailable from CEN Saclay, Service de Documentation, 91191 Gif-sur-Yvette Cedex (France) / INIS...

Syntaxe et semantique de la facilite en lambda-calcul

Zylberajch, Cecile

January 1991

Available from INIST (FR), Document Supply Service, under shelf-number : T 84405 / INIST-CNRS - Inst...

Quelques resultats sur les systemes desordonnes

Levy, Yves-Emmanuel

January 1987

SIGLECNRS T Bordereau / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Etude et realisation d'un outil de conception de systemes logiques complexes

Tais Lailhugue, Didier

January 1987

SIGLECNRS T Bordereau / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Ateliers de genie logiciel : etudes, modeles de bases de donnees, contribution du modele entite : association au cycle de vie du logiciel

Bertrand, Christian

January 1989

SIGLECNRS T Bordereau / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Apprentissage et calculs

Boucheron, Stephane

January 1988

SIGLECNRS T Bordereau / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Calcul relationnel et programmation en logique

Legrand, Remi

January 1987

SIGLECNRS T Bordereau / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

From categorical combinators to #lambda##sigma#-calculi, a quest for confluence

Hardin, Therese
Institut National de Recherche en Informatique et en Automatique (INRIA), 78 - Rocquencourt (France). Unite de Recherche de Rocquencourt

January 1992

Available at INIST (FR), Document Supply Service, under shelf-number : 14802 E, issue : a.1992 n.177...

ECOLE : un systeme de calcul formel pour expression combinatoire ou lambda-expression : applications aux termes lineaires et ordonnes

Girard, Nelly

January 1986

CNRS T Bordereau / INIST-CNRS - Institut de l'Information Scientifique et TechniqueSIGLEFRFranc

La logique lineaire a l'etude de divers processus de normalisation (principalement du lambda-calcul)

Danos, Vincent

January 1990

SIGLEINIST T 77210 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Un lambda-calcul pour le parallelisme et la communication

Boudol, Gerard
Institut National de Recherche en Informatique et en Automatique (INRIA), 06 - Valbonne (France). Unite de Recherche de Sophia-Antipolis

January 1988

SIGLECNRS 14802 E / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Formes logarithmiques fermees a poles sur un diviseur a croisements normaux, et classification topologique des germes de formes logarithmiques generiques de Cn

Paul, Emmanuel

January 1987

SIGLECNRS T Bordereau / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Lambda-calculus, combinators and the comprehension scheme

Dowek, Gilles
Institut National de Recherche en Informatique et en Automatique (INRIA), 78 - Rocquencourt (France). Unite de Recherche de Rocquencourt

January 1995

Programme 2 - Calcul symbolique, programmation et genie logiciel - Projet CoqSIGLEAvailable at INIST...

From categorical combinators to lambda-sygma-calculi, a quest for confluence

Hardin, Thérèse

January 1992

Projet CHLOEThe l-calculus is known to be the theoretical base of functional programming languages. ...

Raisonnement automatique en logique modale et algorithmes d'unification

Herzig, Andreas

January 1989

SIGLECNRS T Bordereau / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Some syntactic and categorical constructions of lambda-calculus models

Berry, G
Institut National de Recherche en Informatique et en Automatique (INRIA), 78 - Le Chesnay (France)

January 1981

SIGLEAvailable from CEN Saclay, Service de Documentation, 91191 Gif-sur-Yvette Cedex (France) / INIS...

Syntaxe et semantique de la facilite en lambda-calcul

Zylberajch, Cecile

January 1991

Available from INIST (FR), Document Supply Service, under shelf-number : T 84405 / INIST-CNRS - Inst...

Quelques resultats sur les systemes desordonnes

Levy, Yves-Emmanuel

January 1987

SIGLECNRS T Bordereau / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Etude et realisation d'un outil de conception de systemes logiques complexes

Tais Lailhugue, Didier

January 1987

SIGLECNRS T Bordereau / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Ateliers de genie logiciel : etudes, modeles de bases de donnees, contribution du modele entite : association au cycle de vie du logiciel

Bertrand, Christian

January 1989

SIGLECNRS T Bordereau / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Apprentissage et calculs

Boucheron, Stephane

January 1988

SIGLECNRS T Bordereau / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Resultats de confluence pour les regles fortes de la logique combinatoire categorique et liens avec les lambda-calculs

Abstract

Extracted data

Resultats de confluence pour les regles fortes de la logique combinatoire categorique et liens avec les lambda-calculs

Abstract

Extracted data

Related items

Related items