An algebraic interpretation of the λβK-calculus; and an application of a labelled λ-calculus
- 1 June 1976
- journal article
- Published by Elsevier in Theoretical Computer Science
- Vol. 2 (1) , 97-114
- https://doi.org/10.1016/0304-3975(76)90009-8
Abstract
No abstract availableThis publication has 2 references indexed in Scilit:
- Approximate Reduction and Lambda Calculus ModelsSIAM Journal on Computing, 1978
- A Syntactic Characterization of the Equality in Some Models for the Lambda CalculusJournal of the London Mathematical Society, 1976