Electronic Notes in Theoretical Computer Science, Volume 73

Volume 73, October 2004

Proceedings of the Workshop on Domains VI

- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/entcs/EscardoJ04
- ask others
Martín Hötzel Escardó, Achim Jung: Preface. 1-2
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/entcs/Farjudian04
- ask others
Amin Farjudian: Sequentiality and Piecewise-affinity in Segments of Real-PCF. 3-43
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/entcs/HuthP04
- ask others
Michael Huth, Shekhar Pradhan: Consistent Partial Model Checking. 45-85
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/entcs/Longley04
- ask others
John Longley: On the Ubiquity of Certain Total Type Structures: (Extended Abstract). 87-109
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/entcs/MaiettiV04
- ask others
Maria Emilia Maietti, Silvio Valentini: Exponentiation of Scott Formal Topologies. 111-131
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/entcs/MartinO04
- ask others
Keye Martin, Joël Ouaknine: Informatic vs. Classical Differentiation on the Real Line. 133-140
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/entcs/Normann04
- ask others
Dag Normann: A Nonstandard Characterisation of the Type-structure of Continuous Functionals Over the Reals. 141-147
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/entcs/PlotkinP04
- ask others
Gordon D. Plotkin, A. John Power: Computational Effects and Operations: An Overview. 149-163
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/entcs/Schmitt04a
- ask others
Vincent Schmitt: Enriched Categories and Quasi-uniform Spaces. 165-205
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/entcs/Townsend04
- ask others
Christopher F. Townsend: Presenting Locale Pullback Via Directed Complete Posets: Extended Abstract. 207-211
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/entcs/Tsuiki04
- ask others
Hideki Tsuiki: Uniform Domains and Uniform Spaces: (Abstract). 213-215
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/entcs/Vallee04
- ask others
Thierry Vallée: Map Theory: From Well-Foundation to Antifoundation. 217-245