Complete Cuboidal Sets in Axiomatic Domain Theory (Extended Abstract)

Fiore, Marcelo P ; Plotkin, Gordon ; Power, John

Texto completo disponível

Citações Citado por

Título:
Complete Cuboidal Sets in Axiomatic Domain Theory (Extended Abstract)
Autor: Fiore, Marcelo P ; Plotkin, Gordon ; Power, John
Assuntos: Laboratory for Foundations of Computer Science
Descrição: We study the enrichment of models of axiomatic do- main theory. To this end, we introduce a new and broader notion of domain, viz. that of complete cuboidal set, that complies with the axiomatic requirements. We show that the category of complete cuboidal sets provides a general notion of enrichment for a wide class of axiomatic domain-theoretic structures.
Idioma: Inglês

Links

Voltar para lista de resultados