Unique normal forms for lambda calculus with surjective pairing

1989

Information and Computation , Volume 80 - Issue 2 p. 97- 113

Additional Metadata
MSC	Combinatory logic and lambda-calculus (msc 03B40), Theory of computing (msc 68Qxx), 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	Klop, J. W., & de Vrijer, R. (1989). Unique normal forms for lambda calculus with surjective pairing. Information and Computation, 80(2), 97–113.

Publication