Continuous DCPOs as complete information systems Continuous DCPOs are shown to be precisely the complete objects (in the sense of the completions of Brummer, Giuli and Herrlich) in a certain category of generalized information systems (related to those of Vickers), with naturally defined morphisms and embeddings
Continuous DCPOs as complete information systems
TOZZI, Anna
2002-01-01
Abstract
Continuous DCPOs as complete information systems Continuous DCPOs are shown to be precisely the complete objects (in the sense of the completions of Brummer, Giuli and Herrlich) in a certain category of generalized information systems (related to those of Vickers), with naturally defined morphisms and embeddingsFile in questo prodotto:
Non ci sono file associati a questo prodotto.
Pubblicazioni consigliate
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
