Takano A. Essence of generalized partial computation (1991)

by Y Futamura, K Nogi