DISTRIBUTIVE EVALUATIONS OF λ-CALCULUS
- 1 January 1994
- journal article
- Published by SAGE Publications in Fundamenta Informaticae
- Vol. 20 (4) , 333-352
- https://doi.org/10.3233/fi-1994-2043
Abstract
In this paper we address the problem of encoding evaluation strategies for the λ-calculus into prime event structures. In order for this to be possible the derivation spaces yielded by the evaluation mechanism must be prime algebraic cpo's. This requThis publication has 0 references indexed in Scilit: