Extending partial combinatory algebras (1999)

by I Bethke, J W Klop, R C de Vrijer
Venue:Mathematical Structures in Computer Science