Semantics of the typed #lambda#-calculus with substitution in a cartesian closed category

On the definition of lambda-calculus models

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

January 1980

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

Une formalisation des faisceaux et des schemas affines en theorie des types avec Coq

Chicli, Laurent
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 LemmeAvailable from INIST (FR), Document Supp...

From #lambda##sigma# to #lambda##theta# a journey through calculi of explicit substitutions

Lescanne, Pierre
Centre National de la Recherche Scientifique (CNRS), 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)
Nancy-2 Univ., 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 1993

Proc. 21st Annual ACM Symposium POPL. PORTLAND (OR., USA)SIGLEAvailable at INIST (FR), Document Supp...

Defining #lambda#-typed #lambda#-calculi by axiomatizing the typing relation

De Groote, Philippe
Centre National de la Recherche Scientifique (CNRS), 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)
Nancy-2 Univ., 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 1993

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

Encoding a dependent-type #lambda#-calculus in a logic programming language

Felty, Amy
Miller, Dale
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 ...

The calculus of explicit #lambda##upsilon# substitutions

Lescanne, Pierre
Rouyer-Degli, Jocelyne
Centre National de la Recherche Scientifique (CNRS), 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)
Nancy-2 Univ., 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 1994

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

#lambda##theta#, a calculus of explicit substitutions which preserves strong normalisation

Benaissa, Zine-El-Abibidine
Briaud, Daniel
Lescanne, Pierre
Rouyer-Degli, Jocelyne
Institut National de Recherche en Informatique et en Automatique (INRIA), 54 - Villers-les-Nancy (France). Unite de Recherche de Lorraine

January 1995

Programme 2 - Calcul symbolique, programmation et genie logiciel. Projet EURECASIGLEAvailable at INI...

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

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

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

The origins of #lambda#-calculus and term rewriting systems

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

January 1991

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

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

A calculus of substitutions for incomplete-proof representation in type theory

Munoz H., Cesar A.
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 CoqSIGLEAvailable from INIST (FR), Document S...

The calculus of explicit substituions #lambda##theta#

Lescanne, Pierre
Rouyer-Degli, Jocelyne
Institut National de Recherche en Informatique et en Automatique (INRIA), 54 - Villers-les-Nancy (France). Unite de Recherche de Lorraine

January 1994

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

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

On the definition of lambda-calculus models

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

January 1980

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

Une formalisation des faisceaux et des schemas affines en theorie des types avec Coq

Chicli, Laurent
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 LemmeAvailable from INIST (FR), Document Supp...

From #lambda##sigma# to #lambda##theta# a journey through calculi of explicit substitutions

Lescanne, Pierre
Centre National de la Recherche Scientifique (CNRS), 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)
Nancy-2 Univ., 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 1993

Proc. 21st Annual ACM Symposium POPL. PORTLAND (OR., USA)SIGLEAvailable at INIST (FR), Document Supp...

Defining #lambda#-typed #lambda#-calculi by axiomatizing the typing relation

De Groote, Philippe
Centre National de la Recherche Scientifique (CNRS), 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)
Nancy-2 Univ., 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 1993

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

Encoding a dependent-type #lambda#-calculus in a logic programming language

Felty, Amy
Miller, Dale
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 ...

The calculus of explicit #lambda##upsilon# substitutions

Lescanne, Pierre
Rouyer-Degli, Jocelyne
Centre National de la Recherche Scientifique (CNRS), 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)
Nancy-2 Univ., 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 1994

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

#lambda##theta#, a calculus of explicit substitutions which preserves strong normalisation

Benaissa, Zine-El-Abibidine
Briaud, Daniel
Lescanne, Pierre
Rouyer-Degli, Jocelyne
Institut National de Recherche en Informatique et en Automatique (INRIA), 54 - Villers-les-Nancy (France). Unite de Recherche de Lorraine

January 1995

Programme 2 - Calcul symbolique, programmation et genie logiciel. Projet EURECASIGLEAvailable at INI...

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

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

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

The origins of #lambda#-calculus and term rewriting systems

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

January 1991

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

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

A calculus of substitutions for incomplete-proof representation in type theory

Munoz H., Cesar A.
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 CoqSIGLEAvailable from INIST (FR), Document S...

The calculus of explicit substituions #lambda##theta#

Lescanne, Pierre
Rouyer-Degli, Jocelyne
Institut National de Recherche en Informatique et en Automatique (INRIA), 54 - Villers-les-Nancy (France). Unite de Recherche de Lorraine

January 1994

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

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

On the definition of lambda-calculus models

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

January 1980

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

Une formalisation des faisceaux et des schemas affines en theorie des types avec Coq

Chicli, Laurent
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 LemmeAvailable from INIST (FR), Document Supp...

From #lambda##sigma# to #lambda##theta# a journey through calculi of explicit substitutions

Lescanne, Pierre
Centre National de la Recherche Scientifique (CNRS), 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)
Nancy-2 Univ., 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 1993

Proc. 21st Annual ACM Symposium POPL. PORTLAND (OR., USA)SIGLEAvailable at INIST (FR), Document Supp...

Semantics of the typed #lambda#-calculus with substitution in a cartesian closed category

Abstract

Extracted data

Semantics of the typed #lambda#-calculus with substitution in a cartesian closed category

Abstract

Extracted data

Related items

Related items