Some representation problems in combinatory logic

Autor:	Weibel, Trudy
Jazyk:	angličtina
Rok vydání:	1989
Předmět:	COMBINATORY LOGIC (MATHEMATICS) UNIVERSELLE ALGEBREN + FREIE ALGEBREN (ALGEBRA) LAMBDA-CALCULUS (MATHEMATICAL LOGIC) FOS: Mathematics KOMBINATORISCHE LOGIK (MATHEMATIK) UNIVERSAL ALGEBRAS + FREE ALGEBRAS (ALGEBRA) Mathematics LAMBDA-KALKÜL (MATHEMATISCHE LOGIK)
DOI:	10.3929/ethz-a-000518475
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::803fbccc3bf71d8d6fc5f7cd7d7293cb Zobrazit plný text záznamu