Finite type structures within combinatory algebras / Inge Bethke
Finite type structures within combinatory algebras