We describe lambda calculus reduction strategies using big-step operational semantics and show how to eciently trace such reductions. This is used in a web-based lambda calculus reducer, at http://www.dina.kvl.dk/~sestoft/lamreduce/
Church's lambda-calculus is modified by introducing a new mechanism, the lambda-bar operator #, whic...
In this thesis I introduce a new approach to the automated analysis of the reduction behaviour of A...
We start by giving a compact representation schema for -terms and show how this leads to an exceedin...
AbstractWe describe lambda calculus reduction strategies using big-step operational semantics and sh...
We present a generic framework for the specification and reasoning about reduction strategies in the...
We give p-calculus encodings of some reduction strategies that have been found useful in the functio...
Siek and Garcia (2012) have explored the dynamic semantics of the gradually-typed lambda calculus by...
Ph.D. thesis. Introduces the "lambda-x" calculus of named explicit substitution and studie...
Contains fulltext : 13272.pdf (publisher's version ) (Open Access
An incremental algorithm is one that takes advantage of the fact that the function it computes is t...
We present a call-by-need $\lambda$-calculus that enables strong reduction(that is, reduction inside...
SIGLECNRS T 66520 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc
AbstractWe present the Lambda Context Calculus. This simple lambda-calculus features variables arran...
We present the Lambda Context Calculus. This simple lambda-calculus features variables ar-ranged in ...
Contains fulltext : HenkBarendregt.pdf (publisher's version ) (Open Access)68 p
Church's lambda-calculus is modified by introducing a new mechanism, the lambda-bar operator #, whic...
In this thesis I introduce a new approach to the automated analysis of the reduction behaviour of A...
We start by giving a compact representation schema for -terms and show how this leads to an exceedin...
AbstractWe describe lambda calculus reduction strategies using big-step operational semantics and sh...
We present a generic framework for the specification and reasoning about reduction strategies in the...
We give p-calculus encodings of some reduction strategies that have been found useful in the functio...
Siek and Garcia (2012) have explored the dynamic semantics of the gradually-typed lambda calculus by...
Ph.D. thesis. Introduces the "lambda-x" calculus of named explicit substitution and studie...
Contains fulltext : 13272.pdf (publisher's version ) (Open Access
An incremental algorithm is one that takes advantage of the fact that the function it computes is t...
We present a call-by-need $\lambda$-calculus that enables strong reduction(that is, reduction inside...
SIGLECNRS T 66520 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc
AbstractWe present the Lambda Context Calculus. This simple lambda-calculus features variables arran...
We present the Lambda Context Calculus. This simple lambda-calculus features variables ar-ranged in ...
Contains fulltext : HenkBarendregt.pdf (publisher's version ) (Open Access)68 p
Church's lambda-calculus is modified by introducing a new mechanism, the lambda-bar operator #, whic...
In this thesis I introduce a new approach to the automated analysis of the reduction behaviour of A...
We start by giving a compact representation schema for -terms and show how this leads to an exceedin...
DOI
Add to ORKG