Combinatory reduction systems
By: J.W. Klop.
Series: Mathematical Centre tracts ;; 127
Publisher: Mathematisch centrum
Published: 1980
Place of publication: Amsterdam
Language: eng
Number of pages: 317
Subjects: Combinatory logic.; Lambda calculus.; Recursive programming.
Notes: Bibliography: p. 298-303.
Thesis (Ph.D.)--State University of Utrecht.
Includes index.