Combinatory reduction systems

Détails bibliographiques
Auteur principal:	Klop, J. W.
Format:	Livre
Publié:	Amsterdam Mathematisch Centrum 1980.
Collection:	Mathematical Centre tracts 127.
Sujets:	Combinatory logic. Recursion theory.