APA (7th ed.) Citation

Klop, J. W., & Vrijer, R. d. (1987). Unique normal forms for lambda calculus with surjective pairing.

Chicago Style (17th ed.) Citation

Klop, Jan Willem, and Roel de Vrijer. Unique Normal Forms for Lambda Calculus with Surjective Pairing. Amsterdam, 1987.

MLA (9th ed.) Citation

Klop, Jan Willem, and Roel de Vrijer. Unique Normal Forms for Lambda Calculus with Surjective Pairing. 1987.