Combinatory reduction systems

Dettagli Bibliografici
Autore principale:	Klop, J. W.
Natura:	Libro
Pubblicazione:	Amsterdam Mathematisch Centrum 1980.
Serie:	Mathematical Centre tracts 127.
Soggetti:	Combinatory logic. Recursion theory.