Inge Bethke Finite Type Structures within Combinatory Algebras. 101-123 1991 55 Ann. Pure Appl. Logic 2 db/journals/apal/apal55.html#Bethke91