Axiomatic domain theory in categories of partial maps

Autor:	Daniele Turi
Rok vydání:	1998
Předmět:	Algebra Computer science Domain theory Software Axiom
Zdroj:	Science of Computer Programming. 30:343-345
ISSN:	0167-6423
DOI:	10.1016/s0167-6423(98)90035-1
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_dedup___::d203347b4887857becc7581104f283aa https://doi.org/10.1016/s0167-6423(98)90035-1 Zobrazit plný text záznamu Full Text from ScienceDirect