ITLI-1987-03: Jan Willem Klop, Roel de Vrijer Unique Normal Forms for Lambda Calculus with Surjective Pairing 1.Full Text. < Back
