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

Analytic combinatorics of non-crossing configurations

Noy, Marc
Flajolet, Philippe
Institut National de Recherche en Informatique et en Automatique (INRIA), 78 - Rocquencourt (France). Unite de Recherche de Rocquencourt

January 1997

Theme 2 - Genie logiciel et calcul symbolique - Projet AlgoSIGLEAvailable from INIST (FR), Document ...

Naming and scoping in a mathematical vernacular

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

January 1990

SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : 14802 E, issue : a.1990 ...

A lambda-calculus for parallel functions

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

January 1990

SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : 14802 E, issue : a.1990 ...

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

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

Mardin-Accart, Therese

January 1987

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

Analytic combinatorics : functional equations, rational and algebraic functions

Flajolet, Philippe
Sedgewick, Robert
Institut National de Recherche en Informatique et en Automatique (INRIA), 78 - Rocquencourt (France). Unite de Recherche de Rocquencourt

January 2001

Theme 2 - Genie logiciel et calcul symbolique - Projet AlgoSIGLEAvailable from INIST (FR), Document ...

Combinatorial structures and structures for classification

Van Cutsem, Bernard
Informatique et Mathematiques Appliquees de Grenoble (IMAG), 38 - Grenoble (France). Lab. de Modelisation et de Calcul
Institut National Polytechnique de Grenoble (INPG), 38 - Grenoble (France). Lab. de Modelisation et de Calcul

January 1993

SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : 22495, issue : a.1993 n....

Artificial intelligence and combinatoric : how to do combinatoric with prolog

Hamidi, Brahim
Tremolieres, Raymond
Aix-Marseille-3 Univ., 13 - Puyricard (France). Inst. d'Administration des Entreprises

January 1990

SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : DO 1549 / INIST-CNRS - I...

Selected domains and Lambda calculi

Amadio, Roberto M.
Curien, Pierre-Louis
Institut National de Recherche en Informatique et en Automatique (INRIA), 54 - Villers-les-Nancy (France). Unite de Recherche de Lorraine

January 1994

Programme 2 : calcul symbolique, programmation et genie logicielSIGLEAvailable at INIST (FR), Docume...

Combinatorial techniques in computer science

Schott, R.
Nancy-2 Univ., 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Nancy-1 Univ., 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Centre National de la Recherche Scientifique (CNRS), 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Institut National Polytechnique de Lorraine (INPL), 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)

January 1990

Paru dans : Bulletin de la societe mathematique de Belgique, 42(2) : 141-155, 1990Available at INIST...

Operations polynomiales sur les langages rationnels, caracterisations syntactiques et resultats de decidabilite

Arfi, Mustapha

January 1990

SIGLEAvailable from INIST (FR), Document Supply Service, under shelf-number : T 77917 / INIST-CNRS -...

Two-steps combinatorial optimization

Paschos, Vangelis T.
Demange, Marc
Centre National de la Recherche Scientifique, 75 - Paris (France). Unite Mixte de Service de la Maison des Sciences Economiques
Centre National de la Recherche Scientifique, 75 - Paris (France). Centre de Recherches de Mathematiques, Statistiques et d'Economie Mathematique
Paris-1 Univ., 75 - (France). Centre de Recherches de Mathematiques, Statistiques et d'Economie Mathematique
Paris-1 Univ., 75 - Paris (France). Maison des Sciences Economiques

January 2001

SIGLEAvailable from INIST (FR), Document Supply Service, under shelf-number : RP 16160 / INIST-CNRS ...

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

Lambda-calculi for (strict) parallel functions

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

January 1991

SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : 14802 E, issue : a.1991 ...

Operations sur l'homologie d'algebres de matrices et homologie cyclique

Gaucher, Philippe

January 1992

SIGLEAvailable from INIST (FR), Document Supply Service, under shelf-number : TD 82274 / INIST-CNRS ...

Analytic combinatorics of non-crossing configurations

Noy, Marc
Flajolet, Philippe
Institut National de Recherche en Informatique et en Automatique (INRIA), 78 - Rocquencourt (France). Unite de Recherche de Rocquencourt

January 1997

Theme 2 - Genie logiciel et calcul symbolique - Projet AlgoSIGLEAvailable from INIST (FR), Document ...

Naming and scoping in a mathematical vernacular

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

January 1990

SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : 14802 E, issue : a.1990 ...

A lambda-calculus for parallel functions

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

January 1990

SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : 14802 E, issue : a.1990 ...

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

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

Mardin-Accart, Therese

January 1987

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

Analytic combinatorics : functional equations, rational and algebraic functions

Flajolet, Philippe
Sedgewick, Robert
Institut National de Recherche en Informatique et en Automatique (INRIA), 78 - Rocquencourt (France). Unite de Recherche de Rocquencourt

January 2001

Theme 2 - Genie logiciel et calcul symbolique - Projet AlgoSIGLEAvailable from INIST (FR), Document ...

Combinatorial structures and structures for classification

Van Cutsem, Bernard
Informatique et Mathematiques Appliquees de Grenoble (IMAG), 38 - Grenoble (France). Lab. de Modelisation et de Calcul
Institut National Polytechnique de Grenoble (INPG), 38 - Grenoble (France). Lab. de Modelisation et de Calcul

January 1993

SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : 22495, issue : a.1993 n....

Artificial intelligence and combinatoric : how to do combinatoric with prolog

Hamidi, Brahim
Tremolieres, Raymond
Aix-Marseille-3 Univ., 13 - Puyricard (France). Inst. d'Administration des Entreprises

January 1990

SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : DO 1549 / INIST-CNRS - I...

Selected domains and Lambda calculi

Amadio, Roberto M.
Curien, Pierre-Louis
Institut National de Recherche en Informatique et en Automatique (INRIA), 54 - Villers-les-Nancy (France). Unite de Recherche de Lorraine

January 1994

Programme 2 : calcul symbolique, programmation et genie logicielSIGLEAvailable at INIST (FR), Docume...

Combinatorial techniques in computer science

Schott, R.
Nancy-2 Univ., 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Nancy-1 Univ., 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Centre National de la Recherche Scientifique (CNRS), 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Institut National Polytechnique de Lorraine (INPL), 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)

January 1990

Paru dans : Bulletin de la societe mathematique de Belgique, 42(2) : 141-155, 1990Available at INIST...

Operations polynomiales sur les langages rationnels, caracterisations syntactiques et resultats de decidabilite

Arfi, Mustapha

January 1990

SIGLEAvailable from INIST (FR), Document Supply Service, under shelf-number : T 77917 / INIST-CNRS -...

Two-steps combinatorial optimization

Paschos, Vangelis T.
Demange, Marc
Centre National de la Recherche Scientifique, 75 - Paris (France). Unite Mixte de Service de la Maison des Sciences Economiques
Centre National de la Recherche Scientifique, 75 - Paris (France). Centre de Recherches de Mathematiques, Statistiques et d'Economie Mathematique
Paris-1 Univ., 75 - (France). Centre de Recherches de Mathematiques, Statistiques et d'Economie Mathematique
Paris-1 Univ., 75 - Paris (France). Maison des Sciences Economiques

January 2001

SIGLEAvailable from INIST (FR), Document Supply Service, under shelf-number : RP 16160 / INIST-CNRS ...

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

Lambda-calculi for (strict) parallel functions

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

January 1991

SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : 14802 E, issue : a.1991 ...

Operations sur l'homologie d'algebres de matrices et homologie cyclique

Gaucher, Philippe

January 1992

SIGLEAvailable from INIST (FR), Document Supply Service, under shelf-number : TD 82274 / INIST-CNRS ...

Analytic combinatorics of non-crossing configurations

Noy, Marc
Flajolet, Philippe
Institut National de Recherche en Informatique et en Automatique (INRIA), 78 - Rocquencourt (France). Unite de Recherche de Rocquencourt

January 1997

Theme 2 - Genie logiciel et calcul symbolique - Projet AlgoSIGLEAvailable from INIST (FR), Document ...

Naming and scoping in a mathematical vernacular

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

January 1990

SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : 14802 E, issue : a.1990 ...

A lambda-calculus for parallel functions

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

January 1990

SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : 14802 E, issue : a.1990 ...

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

Abstract

Extracted data

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

Abstract

Extracted data

Related items

Related items