AbstractWe describe lambda calculus reduction strategies using big-step operational semantics and show how to efficiently trace such reductions. This is used in a web-based lambda calculus reducer, at http://www.dina.kvl.dk/~sestoft/lamreduce/
Esta tesis estudia la reducción plena (‘full reduction’ en inglés) en distintos cálculos lambda. 1 E...
Contains fulltext : HenkBarendregt.pdf (publisher's version ) (Open Access)68 p
AbstractWe present the Lambda Context Calculus. This simple lambda-calculus features variables arran...
We describe lambda calculus reduction strategies using big-step operational semantics and show how t...
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...
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...
Contents Introduction To The Lecture Notes v 1 The Untyped Lambda Calculus 1 1.1 Inductive Definiti...
Esta tesis estudia la reducción plena (‘full reduction’ en inglés) en distintos cálculos lambda. 1 E...
Contains fulltext : HenkBarendregt.pdf (publisher's version ) (Open Access)68 p
AbstractWe present the Lambda Context Calculus. This simple lambda-calculus features variables arran...
We describe lambda calculus reduction strategies using big-step operational semantics and show how t...
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...
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...
Contents Introduction To The Lecture Notes v 1 The Untyped Lambda Calculus 1 1.1 Inductive Definiti...
Esta tesis estudia la reducción plena (‘full reduction’ en inglés) en distintos cálculos lambda. 1 E...
Contains fulltext : HenkBarendregt.pdf (publisher's version ) (Open Access)68 p
AbstractWe present the Lambda Context Calculus. This simple lambda-calculus features variables arran...
DOI
Add to ORKG