Collapsing Partial Combinatory Algebras (1996)

by Inge Bethke, Jan Willem Klop
Venue:Higher-Order Algebra, Logic, and Term Rewriting