The lazy lambda calculus in a concurrency scenario

A concurrent object calculus Reduction and typing

Gordon, A.D.
Hankin, P.D.
Cambridge Univ. (United Kingdom). Computer Lab.

January 1999

SIGLEAvailable from British Library Document Supply Centre-DSC:8723.247(457) / BLDSC - British Libra...

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

Full Abstraction in the Lazy Lambda Calculus

Abramsky, S.
Ong, C.H.L.

August 1993

AbstractA theory of lazy λ-calculus is developed as a basis for lazy functional programming language...

The partial lambda-calculus

Moggi, E

January 1988

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

The lazy lambda calculus in a concurrency scenario

Davide Sangiorgi

January 1994

The use of lambda calculus in richer settings, pos-sibly involving parallelism, is examined in terms...

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

Logical semantics for concurrent lambda-calculus

Dezani-Ciancaglini, M.

January 1996

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

The Lazy Lambda Calculus in a Concurrency Scenario

Sangiorgi, D.

May 1994

AbstractThe use of λ-calculus in richer settings, possibly involving parallelism, is examined in ter...

A classical linear #lambda#-calculus

Bierman, G
Cambridge Univ. (United Kingdom). Computer Lab

January 1996

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

A unification algorithm for the #lambda# #pi#-calculus

Pym, D.J
Edinburgh Univ. (United Kingdom). Lab. for Foundations of Computer Science

January 1992

SIGLEAvailable from British Library Document Supply Centre- DSC:5186.0913(ECS-LFCS--92-229) / BLDSC ...

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

Notes on the second-order lambda calculus

Robinson, E
Sussex Univ., Brighton (United Kingdom). School of Cognitive and Computing Sciences

January 1992

SIGLEAvailable from British Library Document Supply Centre- DSC:7623.6171(SU-CS-R--4/92) / BLDSC - B...

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

The analysis of resource use in the lambda calculus by type inference

Courtenage, S.

January 1996

SIGLEAvailable from British Library Document Supply Centre-DSC:DXN018530 / BLDSC - British Library D...

Towards a lambda-calculus for concurrent and communicating systems

Boudol, Gérard

January 1988

We introduce a calculus for concurrent and communicating processes, which is a direct and simple ext...

A concurrent object calculus Reduction and typing

Gordon, A.D.
Hankin, P.D.
Cambridge Univ. (United Kingdom). Computer Lab.

January 1999

SIGLEAvailable from British Library Document Supply Centre-DSC:8723.247(457) / BLDSC - British Libra...

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

Full Abstraction in the Lazy Lambda Calculus

Abramsky, S.
Ong, C.H.L.

August 1993

AbstractA theory of lazy λ-calculus is developed as a basis for lazy functional programming language...

The partial lambda-calculus

Moggi, E

January 1988

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

The lazy lambda calculus in a concurrency scenario

Davide Sangiorgi

January 1994

The use of lambda calculus in richer settings, pos-sibly involving parallelism, is examined in terms...

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

Logical semantics for concurrent lambda-calculus

Dezani-Ciancaglini, M.

January 1996

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

The Lazy Lambda Calculus in a Concurrency Scenario

Sangiorgi, D.

May 1994

AbstractThe use of λ-calculus in richer settings, possibly involving parallelism, is examined in ter...

A classical linear #lambda#-calculus

Bierman, G
Cambridge Univ. (United Kingdom). Computer Lab

January 1996

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

A unification algorithm for the #lambda# #pi#-calculus

Pym, D.J
Edinburgh Univ. (United Kingdom). Lab. for Foundations of Computer Science

January 1992

SIGLEAvailable from British Library Document Supply Centre- DSC:5186.0913(ECS-LFCS--92-229) / BLDSC ...

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

Notes on the second-order lambda calculus

Robinson, E
Sussex Univ., Brighton (United Kingdom). School of Cognitive and Computing Sciences

January 1992

SIGLEAvailable from British Library Document Supply Centre- DSC:7623.6171(SU-CS-R--4/92) / BLDSC - B...

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

The analysis of resource use in the lambda calculus by type inference

Courtenage, S.

January 1996

SIGLEAvailable from British Library Document Supply Centre-DSC:DXN018530 / BLDSC - British Library D...

Towards a lambda-calculus for concurrent and communicating systems

Boudol, Gérard

January 1988

We introduce a calculus for concurrent and communicating processes, which is a direct and simple ext...

A concurrent object calculus Reduction and typing

Gordon, A.D.
Hankin, P.D.
Cambridge Univ. (United Kingdom). Computer Lab.

January 1999

SIGLEAvailable from British Library Document Supply Centre-DSC:8723.247(457) / BLDSC - British Libra...

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

Full Abstraction in the Lazy Lambda Calculus

Abramsky, S.
Ong, C.H.L.

August 1993

AbstractA theory of lazy λ-calculus is developed as a basis for lazy functional programming language...

The lazy lambda calculus in a concurrency scenario

Abstract

Extracted data

The lazy lambda calculus in a concurrency scenario

Abstract

Extracted data

Related items

Related items