Combinatory Reduction Systems [PhD Thesi
β Jan Willem Klop
π Library
π
1980
π Mathematisch Centrum
π English
This thesis was written while I was employed half be the Mathematical Institute and half by the 'Centrale Interfaculteit' of the University of Utrecht, from 1975 to 1979. It was a privilege to be a promovendus in the Logic department of Professor Dirk van Dalen, and those years will remain a dear me