Combinatory reduction systems: introduction and survey

Autor:	Klop, J. W., Oostrom, V. Van, Raamsdonk, F. Van
Zdroj:	Theoretical Computer Science; 1993, Vol. 121 Issue: 1 p279-279, 1p
Databáze:	Supplemental Index
Externí odkaz:	Zobrazit plný text záznamu