Essence of generalized partial computation (1991)

by Y Futamura, K Nogi, A Takano
Venue:J. Theoretical Computer Science