Akihiko Takano. Essence of generalized partial computation (1991)

by Yoshihiko Futamura, Kenroku Nogi
Venue:Theoretical Computer Science