Combinatory reduction systems

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