A fibrational framework for possible-world semantics of Algol-like languages

Autor:	Robert D. Tennent, Claudio Hermida
Rok vydání:	2007
Předmět:	Possible world General Computer Science Programming language Computer science business.industry Artificial intelligence computer.software_genre business computer Natural language processing Theoretical Computer Science Computer Science(all)
Zdroj:	Theoretical Computer Science. 375(1-3):3-19
ISSN:	0304-3975
DOI:	10.1016/j.tcs.2006.12.025
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_dedup___::c598ea5d6c04b068d15f4e72a88abdf5 Zobrazit plný text záznamu Full Text from ScienceDirect