Extending partial combinatory algebras (1982)

by J W Klop
Venue:Bulletin of the European Association for Theoretical Computer Science