A universal innocent model of the Bohm tree lambda theory. Submitted for publication (2000)

by A Ker, H Nickau, C-H L Ong