Parallel reductions in λ-calculus
- 28 February 1989
- journal article
- Published by Elsevier in Journal of Symbolic Computation
- Vol. 7 (2) , 113-123
- https://doi.org/10.1016/s0747-7171(89)80045-8
Abstract
No abstract availableKeywords
This publication has 1 reference indexed in Scilit:
- An algebraic interpretation of the λβK-calculus and a labelled λ-calculusPublished by Springer Nature ,2005