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

Sur la fiabilite des calculs sur ordinateur

Fraysse, Valerie
Institut National Polytechnique de Toulouse (INPT), 31 (France)

January 1992

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

Type assignment in the lambda-calculus Syntax and semantics

Ben-Yelles, C.B

January 1979

Available from British Library Document Supply Centre- DSC:D80071 / BLDSC - British Library Document...

Lambda calculi with types

Barendregt, H.P.

January 1992

Contains fulltext : 13247.pdf (publisher's version ) (Open Access) ...

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

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

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

Gray, John W.
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 ...

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

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

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

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

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

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

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

Sur la fiabilite des calculs sur ordinateur

Fraysse, Valerie
Institut National Polytechnique de Toulouse (INPT), 31 (France)

January 1992

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

Type assignment in the lambda-calculus Syntax and semantics

Ben-Yelles, C.B

January 1979

Available from British Library Document Supply Centre- DSC:D80071 / BLDSC - British Library Document...

Lambda calculi with types

Barendregt, H.P.

January 1992

Contains fulltext : 13247.pdf (publisher's version ) (Open Access) ...

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

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

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

Gray, John W.
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 ...

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

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

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

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

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

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

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

Sur la fiabilite des calculs sur ordinateur

Fraysse, Valerie
Institut National Polytechnique de Toulouse (INPT), 31 (France)

January 1992

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

Type assignment in the lambda-calculus Syntax and semantics

Ben-Yelles, C.B

January 1979

Available from British Library Document Supply Centre- DSC:D80071 / BLDSC - British Library Document...

Lambda calculi with types

Barendregt, H.P.

January 1992

Contains fulltext : 13247.pdf (publisher's version ) (Open Access) ...

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

Abstract

Extracted data

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

Abstract

Extracted data

Related items

Related items