Needed reduction and spine strategies for the lambda calculus

1987

Information and Computation , Volume 75 - Issue 3 p. 191- 231

Additional Metadata
MSC	Combinatory logic and lambda-calculus (msc 03B40), Programming languages (msc 68N15), Semantics (msc 68Q55)
Publisher	Academic Press
Journal	Information and Computation
Organisation	Specification and Analysis of Embedded Systems
Citation APA Style AAA Style APA Style Cell Style Chicago Style Harvard Style IEEE Style MLA Style Nature Style Vancouver Style American-Institute-of-Physics Style Council-of-Science-Editors Style BibTex Format Endnote Format RIS Format CSL Format DOIs only Format	Barendregt, H., Kennaway, R., Klop, J. W., & Sleep, R. (1987). Needed reduction and spine strategies for the lambda calculus. Information and Computation, 75(3), 191–231.

Publication