Extending partial combinatory algebras
From MaRDI portal
Publication:4704765
DOI10.1017/S0960129599002832zbMath0935.03074OpenAlexW2143274619MaRDI QIDQ4704765
Roel de Vrijer, Inge Bethke, Jan Willem Klop
Publication date: 25 November 1999
Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1017/s0960129599002832
Related Items
Typability in partial applicative structures, 2008 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '08, COMPUTABILITY IN PARTIAL COMBINATORY ALGEBRAS