1997
Lambda calculus with explicit recursion
Publication
Publication
Information and Computation , Volume 139 - Issue 2 p. 154- 233
Additional Metadata | |
---|---|
, | |
Academic Press | |
Information and Computation | |
Organisation | Specification and Analysis of Embedded Systems |
Ariola, Z., & Klop, J. W. (1997). Lambda calculus with explicit recursion. Information and Computation, 139(2), 154–233. |