CINECA IRIS Institutional Research Information System
IRIS è la soluzione IT che facilita la raccolta e la gestione dei dati relativi alle attività e ai prodotti della ricerca. Fornisce a ricercatori, amministratori e valutatori gli strumenti per monitorare i risultati della ricerca, aumentarne la visibilità e allocare in modo efficace le risorse disponibili.
EnglishA small modification of Vickers’ definition of continuous information systems allows for a representation of the category of continuous domains (continuous DCPOs) and several other categories (Scott domains, continuous Scott domains, continuous lattices, algebraic lattices, and others) as Kleisli categories of suitable monads
Utilizza questo identificativo per citare o creare un link a questo documento:
http://hdl.handle.net/11697/15773| Titolo: | A monad for domains and other categories |
| Autori interni: | TOZZI, Anna |
| Data di pubblicazione: | 2003 |
| Rivista: | SEMINARBERICHTE AUS DEM FACHBEREICH MATHEMATIK |
| Abstract: | A small modification of Vickers’ definition of continuous information systems allows for a representation of the category of continuous domains (continuous DCPOs) and several other categories (Scott domains, continuous Scott domains, continuous lattices, algebraic lattices, and others) as Kleisli categories of suitable monads |
| Handle: | http://hdl.handle.net/11697/15773 |
| Appare nelle tipologie: | 1.1 Articolo in rivista |
File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
Copyright © 2017