Combinatory reduction systems

Bibliographic Details
Main Author:	Klop, J. W.
Format:	Book
Published:	Amsterdam Mathematisch Centrum 1980.
Series:	Mathematical Centre tracts 127.
Subjects:	Combinatory logic. Recursion theory.