Combinatory reduction systems

Jan Willem Klop. Combinatory reduction systems. PhD thesis, Univ. Utrecht, 1980.

Abstract

Abstract is missing.