Completing Partial Combinatory Algebras with Unique Head-Normal Forms (1996)

Cached

Download Links

by Inge Bethke , Jan Willem Klop , Roel De Vrijer
Citations:3 - 1 self

Document Versions

Completing Partial Combinatory Algebras with Unique Head-Normal Forms –Inge Bethke, Jan Willem Klop, Roel De Vrijer — 1996
Completing Partial Combinatory Algebras with Unique Head-Normal Forms –I. Bethke, J. W. Klop, R. De Vrijer, Issn -x, Inge Bethke, Jan Willem Klop, Roel De Vrijer — 1995