Notes on partial combinatory algebras / Ingemarie BethkeGoing stable in graph models / Inge BethkeFinite type structures within combinatory algebras / Inge BethkeEquational constructor induction / I. Bethke, P.H. RodenburgA car registration authority : a concise PSF-specification / I. Bethke, A. PonseCollapsing partial combinatory algebras / I. Bethke, J.W. KlopCompleting partial combinatory algebras with unique head-normal forms / I. Bethke, J.W. Klop, R. de VrijerOrigin tracking in orthogonal term rewriting systems / I. Bethke, J.W. Klop, R. de VrijerExtending partial combinatory algebras / I. Bethke, J.W. Klop, R. de VrijerDescendants and origins in term rewriting / I. Bethke, J.W. Klop, R. de VrijerExtending partial combinatory algebras / I. Bethke, J.W. Klop, R. de VrijerDescendants and origins in term rewriting / I. Bethke, J.W. Klop, R, de VrijerProgramma-algebra, een inleiding tot de programmatuur / Inge Bethke, Alban PonseProgramma-algebra, een inleiding tot de programmatuur / Inge Bethke, Alban PonseProgramma-algebra, een inleiding tot de programmatuur / Inge Bethke, Alban PonseThe countable and the countably based functionals / by I. BethkeHow to construct extensional combinatory algebras / by Ingemarie BethkeOn the existence of extensional partial combinatory algebras / by Ingemarie Bethke