Collapsing Partial Combinatory Algebras (1996)

Cached

Download Links

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

Document Versions

Collapsing Partial Combinatory Algebras –Inge Bethke, Jan Willem Klop — 1996 — Higher-Order Algebra, Logic, and Term Rewriting