1997
Infinitary lambda calculus
Publication
Publication
Theoretical Computer Science , Volume 175 - Issue 1 p. 93- 125
Additional Metadata | |
---|---|
Elsevier | |
Theoretical Computer Science | |
Organisation | Specification and Analysis of Embedded Systems |
Kennaway, R., Klop, J. W., Sleep, R., & de Vries, F.-J. (1997). Infinitary lambda calculus. Theoretical Computer Science, 175(1), 93–125. |