Combinatory reduction systems

Detalles Bibliográficos
Autor principal:	Klop, J. W.
Formato:	Libro
Publicado:	Amsterdam Mathematisch Centrum 1980.
Colección:	Mathematical Centre tracts 127.
Materias:	Combinatory logic. Recursion theory.