Elementary affine logic and call-by-value lambda-calculus

Autor:	DAL LAGO, UGO, Ronchi Della Rocca S., Coppola P.
Přispěvatelé:	PAWEL URZYCZYN, Dal Lago U., Ronchi Della Rocca S., Coppola P.
Jazyk:	angličtina
Rok vydání:	2005
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=od______4094::46a5eefe43f89bf4dbf21daaa68b522c http://hdl.handle.net/11585/27087 Zobrazit plný text záznamu