On the definition of lambda-calculus models

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

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

Residual theory in #lambda#-calculus : a formal development

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

January 1993

Programme 2 : Calcul symbolique, programmation et genie logicielAvailable at INIST (FR), Document Su...

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

Formalising a model of the #lambda#-calculus in HOL-ST

Agerholm, S
Cambridge Univ. (United Kingdom). Computer Lab

January 1994

SIGLEAvailable from British Library Document Supply Centre- DSC:8723.247(CU-CL-TR--354) / BLDSC - Br...

What is a model of the lambda calculus?

Meyer, Albert R.

January 1982

An elementary, purely algebraic definition of model for the untyped lambda calculus is given. This d...

Models of lambda calculi and linear logic Structural, equational and proof-theoretic characterisations

Loader, R

January 1994

SIGLEAvailable from British Library Document Supply Centre- DSC:D187736 / BLDSC - British Library Do...

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 lambda calculus: its syntax and semantics

Barendregt, Hendrick Pieter

January 1984

The revised edition contains a new chapter which provides an elegant description of the semantics. T...

Models for simply typed lambda-calculi with fixed point combinators and enumerators

Draanen, J.P.C.M. van

January 1995

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

The partial lambda-calculus

Moggi, E

January 1988

SIGLEAvailable from British Library Document Supply Centre- DSC:D85058 / BLDSC - British Library Doc...

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

Lambda calculus models of typed programming languages

Mitchell, John Clifford

January 1984

Thesis (Ph.D.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer ...

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

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

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

Residual theory in #lambda#-calculus : a formal development

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

January 1993

Programme 2 : Calcul symbolique, programmation et genie logicielAvailable at INIST (FR), Document Su...

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

Formalising a model of the #lambda#-calculus in HOL-ST

Agerholm, S
Cambridge Univ. (United Kingdom). Computer Lab

January 1994

SIGLEAvailable from British Library Document Supply Centre- DSC:8723.247(CU-CL-TR--354) / BLDSC - Br...

What is a model of the lambda calculus?

Meyer, Albert R.

January 1982

An elementary, purely algebraic definition of model for the untyped lambda calculus is given. This d...

Models of lambda calculi and linear logic Structural, equational and proof-theoretic characterisations

Loader, R

January 1994

SIGLEAvailable from British Library Document Supply Centre- DSC:D187736 / BLDSC - British Library Do...

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 lambda calculus: its syntax and semantics

Barendregt, Hendrick Pieter

January 1984

The revised edition contains a new chapter which provides an elegant description of the semantics. T...

Models for simply typed lambda-calculi with fixed point combinators and enumerators

Draanen, J.P.C.M. van

January 1995

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

The partial lambda-calculus

Moggi, E

January 1988

SIGLEAvailable from British Library Document Supply Centre- DSC:D85058 / BLDSC - British Library Doc...

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

Lambda calculus models of typed programming languages

Mitchell, John Clifford

January 1984

Thesis (Ph.D.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer ...

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

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

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

Residual theory in #lambda#-calculus : a formal development

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

January 1993

Programme 2 : Calcul symbolique, programmation et genie logicielAvailable at INIST (FR), Document Su...

On the definition of lambda-calculus models

Abstract

Extracted data

On the definition of lambda-calculus models

Abstract

Extracted data

Related items

Related items