Title: Some extensional term models for combinatory logics and [lambda]-calculi
Subjects: Combinatory logic, Recursive functions