## Collapsing Partial Combinatory Algebras (1996)

by
Inge Bethke
,
Jan Willem Klop

Venue: | Higher-Order Algebra, Logic, and Term Rewriting |

Citations: | 13 - 2 self |