WITHDRAWN: Corrigendum to 'The lambda-context calculus (extended version)' [Inform. and Comput. 207 (12) (2009) 1369–1400]

Autor:	Murdoch J. Gabbay, Stéphane Lengrand
Rok vydání:	2012
Předmět:	Computational Theory and Mathematics Computer science Calculus medicine Context (language use) Lambda medicine.disease Calculus (medicine) Computer Science Applications Information Systems Theoretical Computer Science
Zdroj:	Information and Computation.
ISSN:	0890-5401
DOI:	10.1016/j.ic.2012.01.001
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::71be9ebd245482be5d76b8155f1f2217 https://doi.org/10.1016/j.ic.2012.01.001 Zobrazit plný text záznamu Full Text from ScienceDirect