Simply typed λ calculus with surjective pairing

1992-01-01T00:00:00Z (GMT) by Richard Statman
Mathematics Technical Report