Needed reduction and spine strategies for the -calculus (1987)

by H P Barendregt, J R Kennaway, J W Klop, M R Sleep
Venue:Information and Computation