In this paper, the notions of information base and of translation between information bases are introduced; they have a very simple intuitive interpretation and can be taken as an alternative approach to domain theory. Technically, they form a category which is equivalent to the category of Scott domains and approximable mappings. All the definitions and most of the results are inspired by the intuitionistic approach to pointfree topology as developed mainly by Martin-Lof and the first author. As in intuitionistic pointfree topology, constructivity is guaranteed by adopting the framework of Martin-Lofs intuitionistic type theory, equipped with a few abbreviations which allow to use a standard set theoretic notation.

Constructive domain theory as a branch of intuitionistic pointfree topology

SAMBIN, GIOVANNI;VALENTINI, SILVIO;
1996

Abstract

In this paper, the notions of information base and of translation between information bases are introduced; they have a very simple intuitive interpretation and can be taken as an alternative approach to domain theory. Technically, they form a category which is equivalent to the category of Scott domains and approximable mappings. All the definitions and most of the results are inspired by the intuitionistic approach to pointfree topology as developed mainly by Martin-Lof and the first author. As in intuitionistic pointfree topology, constructivity is guaranteed by adopting the framework of Martin-Lofs intuitionistic type theory, equipped with a few abbreviations which allow to use a standard set theoretic notation.
File 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.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11577/2464044
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 23
  • ???jsp.display-item.citation.isi??? 14
  • OpenAlex ND
social impact