Published in: Dagstuhl Reports, Volume 5, Issue 10 (2016)
Mai Gehrke, Achim Jung, Victor Selivanov, and Dieter Spreen. Duality in Computer Science (Dagstuhl Seminar 15441). In Dagstuhl Reports, Volume 5, Issue 10, pp. 66-88, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2016)
@Article{gehrke_et_al:DagRep.5.10.66, author = {Gehrke, Mai and Jung, Achim and Selivanov, Victor and Spreen, Dieter}, title = {{Duality in Computer Science (Dagstuhl Seminar 15441)}}, pages = {66--88}, journal = {Dagstuhl Reports}, ISSN = {2192-5283}, year = {2016}, volume = {5}, number = {10}, editor = {Gehrke, Mai and Jung, Achim and Selivanov, Victor and Spreen, Dieter}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagRep.5.10.66}, URN = {urn:nbn:de:0030-drops-56999}, doi = {10.4230/DagRep.5.10.66}, annote = {Keywords: coalgebra, domain theory, probabilistic systems, recognizability, semantics of non-classical logics, Stone duality} }
Published in: Dagstuhl Reports, Volume 3, Issue 7 (2013)
Mai Gehrke, Jean-Eric Pin, Victor Selivanov, and Dieter Spreen. Duality in Computer Science (Dagstuhl Seminar 13311). In Dagstuhl Reports, Volume 3, Issue 7, pp. 54-73, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2013)
@Article{gehrke_et_al:DagRep.3.7.54, author = {Gehrke, Mai and Pin, Jean-Eric and Selivanov, Victor and Spreen, Dieter}, title = {{Duality in Computer Science (Dagstuhl Seminar 13311)}}, pages = {54--73}, journal = {Dagstuhl Reports}, ISSN = {2192-5283}, year = {2013}, volume = {3}, number = {7}, editor = {Gehrke, Mai and Pin, Jean-Eric and Selivanov, Victor and Spreen, Dieter}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagRep.3.7.54}, URN = {urn:nbn:de:0030-drops-43068}, doi = {10.4230/DagRep.3.7.54}, annote = {Keywords: Stone-Priestley duality, Point free topology, Infinite computations Exact real number computation, Computability in analysis, Hierarchies, Reducibilit Topological complexity, Domain theory, Semantics, Recognizability, Profinite topology} }
Published in: Dagstuhl Reports, Volume 1, Issue 10 (2012)
Ulrich Berger, Vasco Brattka, Victor Selivanov, Dieter Spreen, and Hideki Tsuiki. Computing with Infinite Data: Topological and Logical Foundations (Dagstuhl Seminar 11411). In Dagstuhl Reports, Volume 1, Issue 10, pp. 14-36, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2012)
@Article{berger_et_al:DagRep.1.10.14, author = {Berger, Ulrich and Brattka, Vasco and Selivanov, Victor and Spreen, Dieter and Tsuiki, Hideki}, title = {{Computing with Infinite Data: Topological and Logical Foundations (Dagstuhl Seminar 11411)}}, pages = {14--36}, journal = {Dagstuhl Reports}, ISSN = {2192-5283}, year = {2012}, volume = {1}, number = {10}, editor = {Berger, Ulrich and Brattka, Vasco and Selivanov, Victor and Spreen, Dieter and Tsuiki, Hideki}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagRep.1.10.14}, URN = {urn:nbn:de:0030-drops-33721}, doi = {10.4230/DagRep.1.10.14}, annote = {Keywords: Exact real number computation, Stream computation, Infinite computations, Computability in analysis, Hierarchies, Reducibility, Topological complexity} }
Published in: Dagstuhl Seminar Proceedings, Volume 6341, Computational Structures for Modelling Space, Time and Causality (2007)
Ralph Kopperman, Prakash Panangaden, Michael B. Smyth, and Dieter Spreen. 06341 Abstracts Collection – Computational Structures for Modelling Space, Time and Causality. In Computational Structures for Modelling Space, Time and Causality. Dagstuhl Seminar Proceedings, Volume 6341, pp. 1-23, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2007)
@InProceedings{kopperman_et_al:DagSemProc.06341.1, author = {Kopperman, Ralph and Panangaden, Prakash and Smyth, Michael B. and Spreen, Dieter}, title = {{06341 Abstracts Collection – Computational Structures for Modelling Space, Time and Causality}}, booktitle = {Computational Structures for Modelling Space, Time and Causality}, pages = {1--23}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2007}, volume = {6341}, editor = {Ralph Kopperman and Prakash Panangaden and Michael B. Smyth and Dieter Spreen}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.06341.1}, URN = {urn:nbn:de:0030-drops-9000}, doi = {10.4230/DagSemProc.06341.1}, annote = {Keywords: Borel hierarchy, causets, Chu spaces, computations in higher types, computable analysis, constructive topology, differential calculus, digital topology, dihomotopy, domain theory, domain representation, formal topology, higher dimensional automata, mereo\backslash-topology, partial metrics} }
Published in: Dagstuhl Seminar Proceedings, Volume 6341, Computational Structures for Modelling Space, Time and Causality (2007)
Ingo Battenfeld, Matthias Schröder, and Alex Simpson. A convenient category of domains. In Computational Structures for Modelling Space, Time and Causality. Dagstuhl Seminar Proceedings, Volume 6341, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2007)
@InProceedings{battenfeld_et_al:DagSemProc.06341.2, author = {Battenfeld, Ingo and Schr\"{o}der, Matthias and Simpson, Alex}, title = {{A convenient category of domains}}, booktitle = {Computational Structures for Modelling Space, Time and Causality}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2007}, volume = {6341}, editor = {Ralph Kopperman and Prakash Panangaden and Michael B. Smyth and Dieter Spreen}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.06341.2}, URN = {urn:nbn:de:0030-drops-8945}, doi = {10.4230/DagSemProc.06341.2}, annote = {Keywords: Domain theory, topology of datatypes} }
Published in: Dagstuhl Seminar Proceedings, Volume 6341, Computational Structures for Modelling Space, Time and Causality (2007)
John L. Pfaltz. Closure and Causality. In Computational Structures for Modelling Space, Time and Causality. Dagstuhl Seminar Proceedings, Volume 6341, pp. 1-13, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2007)
@InProceedings{pfaltz:DagSemProc.06341.3, author = {Pfaltz, John L.}, title = {{Closure and Causality}}, booktitle = {Computational Structures for Modelling Space, Time and Causality}, pages = {1--13}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2007}, volume = {6341}, editor = {Ralph Kopperman and Prakash Panangaden and Michael B. Smyth and Dieter Spreen}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.06341.3}, URN = {urn:nbn:de:0030-drops-8978}, doi = {10.4230/DagSemProc.06341.3}, annote = {Keywords: Closure, causality, antimatroid, temporal, software engineering} }
Published in: Dagstuhl Seminar Proceedings, Volume 6341, Computational Structures for Modelling Space, Time and Causality (2007)
Howard Blair. Elementary Differential Calculus on Discrete, Continuous and Hybrid Spaces. In Computational Structures for Modelling Space, Time and Causality. Dagstuhl Seminar Proceedings, Volume 6341, pp. 1-2, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2007)
@InProceedings{blair:DagSemProc.06341.4, author = {Blair, Howard}, title = {{Elementary Differential Calculus on Discrete, Continuous and Hybrid Spaces}}, booktitle = {Computational Structures for Modelling Space, Time and Causality}, pages = {1--2}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2007}, volume = {6341}, editor = {Ralph Kopperman and Prakash Panangaden and Michael B. Smyth and Dieter Spreen}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.06341.4}, URN = {urn:nbn:de:0030-drops-8956}, doi = {10.4230/DagSemProc.06341.4}, annote = {Keywords: Hybrid space, convergence space, differential, calculus, chain rule, hybrid dynamical system, discrete structure, topological space} }
Published in: Dagstuhl Seminar Proceedings, Volume 6341, Computational Structures for Modelling Space, Time and Causality (2007)
Timothy Porter. Enriched categories and models for spaces of dipaths. In Computational Structures for Modelling Space, Time and Causality. Dagstuhl Seminar Proceedings, Volume 6341, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2007)
@InProceedings{porter:DagSemProc.06341.5, author = {Porter, Timothy}, title = {{Enriched categories and models for spaces of dipaths}}, booktitle = {Computational Structures for Modelling Space, Time and Causality}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2007}, volume = {6341}, editor = {Ralph Kopperman and Prakash Panangaden and Michael B. Smyth and Dieter Spreen}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.06341.5}, URN = {urn:nbn:de:0030-drops-8989}, doi = {10.4230/DagSemProc.06341.5}, annote = {Keywords: Enriched category} }
Published in: Dagstuhl Seminar Proceedings, Volume 6341, Computational Structures for Modelling Space, Time and Causality (2007)
Martin Maria Kovár. Instant topological relationships hidden in the reality. In Computational Structures for Modelling Space, Time and Causality. Dagstuhl Seminar Proceedings, Volume 6341, pp. 1-2, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2007)
@InProceedings{kovar:DagSemProc.06341.6, author = {Kov\'{a}r, Martin Maria}, title = {{Instant topological relationships hidden in the reality}}, booktitle = {Computational Structures for Modelling Space, Time and Causality}, pages = {1--2}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2007}, volume = {6341}, editor = {Ralph Kopperman and Prakash Panangaden and Michael B. Smyth and Dieter Spreen}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.06341.6}, URN = {urn:nbn:de:0030-drops-8962}, doi = {10.4230/DagSemProc.06341.6}, annote = {Keywords: Pointless topology, reality} }
Published in: Dagstuhl Seminar Proceedings, Volume 4351, Spatial Representation: Discrete vs. Continuous Computational Models (2005)
Ralph Kopperman, Prakash Panangaden, Michael B. Smyth, Dieter Spreen, and Julian Webster. 04351 Abstracts Collection – Spatial Representation: Discrete vs. Continuous Computational Models. In Spatial Representation: Discrete vs. Continuous Computational Models. Dagstuhl Seminar Proceedings, Volume 4351, pp. 1-24, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2005)
@InProceedings{kopperman_et_al:DagSemProc.04351.1, author = {Kopperman, Ralph and Panangaden, Prakash and Smyth, Michael B. and Spreen, Dieter and Webster, Julian}, title = {{04351 Abstracts Collection – Spatial Representation: Discrete vs. Continuous Computational Models}}, booktitle = {Spatial Representation: Discrete vs. Continuous Computational Models}, pages = {1--24}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2005}, volume = {4351}, editor = {Ralph Kopperman and Michael B. Smyth and Dieter Spreen and Julian Webster}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.04351.1}, URN = {urn:nbn:de:0030-drops-1742}, doi = {10.4230/DagSemProc.04351.1}, annote = {Keywords: Domain theory , formal topology , constructive topology , domain representation, space-time , quantum gravity , inverse limit construction, matroid geometry , descriptive set theory , Borel hierarchy , Hausdorff difference hierarchy , Wadge degree partial metric , fractafold , region geometry , oriented projective geometry} }
Published in: Dagstuhl Seminar Proceedings, Volume 4351, Spatial Representation: Discrete vs. Continuous Computational Models (2005)
Reinhold Heckmann. A Cartesian Closed Extension of the Category of Locales. In Spatial Representation: Discrete vs. Continuous Computational Models. Dagstuhl Seminar Proceedings, Volume 4351, pp. 1-20, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2005)
@InProceedings{heckmann:DagSemProc.04351.3, author = {Heckmann, Reinhold}, title = {{A Cartesian Closed Extension of the Category of Locales}}, booktitle = {Spatial Representation: Discrete vs. Continuous Computational Models}, pages = {1--20}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2005}, volume = {4351}, editor = {Ralph Kopperman and Michael B. Smyth and Dieter Spreen and Julian Webster}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.04351.3}, URN = {urn:nbn:de:0030-drops-1339}, doi = {10.4230/DagSemProc.04351.3}, annote = {Keywords: Locale , Cartesian closed category} }
Published in: Dagstuhl Seminar Proceedings, Volume 4351, Spatial Representation: Discrete vs. Continuous Computational Models (2005)
John L. Pfaltz. A Category of Discrete Closure Spaces. In Spatial Representation: Discrete vs. Continuous Computational Models. Dagstuhl Seminar Proceedings, Volume 4351, pp. 1-16, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2005)
@InProceedings{pfaltz:DagSemProc.04351.4, author = {Pfaltz, John L.}, title = {{A Category of Discrete Closure Spaces}}, booktitle = {Spatial Representation: Discrete vs. Continuous Computational Models}, pages = {1--16}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2005}, volume = {4351}, editor = {Ralph Kopperman and Michael B. Smyth and Dieter Spreen and Julian Webster}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.04351.4}, URN = {urn:nbn:de:0030-drops-1253}, doi = {10.4230/DagSemProc.04351.4}, annote = {Keywords: Category , closure , antimatroid , function} }
Published in: Dagstuhl Seminar Proceedings, Volume 4351, Spatial Representation: Discrete vs. Continuous Computational Models (2005)
Keye Martin and Prakash Panangaden. A domain of spacetime intervals in general relativity. In Spatial Representation: Discrete vs. Continuous Computational Models. Dagstuhl Seminar Proceedings, Volume 4351, pp. 1-28, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2005)
@InProceedings{martin_et_al:DagSemProc.04351.5, author = {Martin, Keye and Panangaden, Prakash}, title = {{A domain of spacetime intervals in general relativity}}, booktitle = {Spatial Representation: Discrete vs. Continuous Computational Models}, pages = {1--28}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2005}, volume = {4351}, editor = {Ralph Kopperman and Michael B. Smyth and Dieter Spreen and Julian Webster}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.04351.5}, URN = {urn:nbn:de:0030-drops-1350}, doi = {10.4230/DagSemProc.04351.5}, annote = {Keywords: Causality , spacetime , global hyperbolicity , interval domains , bicontinuous posets , spacetime topology} }
Published in: Dagstuhl Seminar Proceedings, Volume 4351, Spatial Representation: Discrete vs. Continuous Computational Models (2005)
Jonathan Gratus and Timothy Porter. A geometry of information, I: Nerves, posets and differential forms. In Spatial Representation: Discrete vs. Continuous Computational Models. Dagstuhl Seminar Proceedings, Volume 4351, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2005)
@InProceedings{gratus_et_al:DagSemProc.04351.6, author = {Gratus, Jonathan and Porter, Timothy}, title = {{A geometry of information, I: Nerves, posets and differential forms}}, booktitle = {Spatial Representation: Discrete vs. Continuous Computational Models}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2005}, volume = {4351}, editor = {Ralph Kopperman and Michael B. Smyth and Dieter Spreen and Julian Webster}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.04351.6}, URN = {urn:nbn:de:0030-drops-1268}, doi = {10.4230/DagSemProc.04351.6}, annote = {Keywords: Chu spaces , nerves , differential forms} }
Published in: Dagstuhl Seminar Proceedings, Volume 4351, Spatial Representation: Discrete vs. Continuous Computational Models (2005)
Jonathan Gratus and Timothy Porter. A geometry of information, II: Sorkin models, and biextensional collapses. In Spatial Representation: Discrete vs. Continuous Computational Models. Dagstuhl Seminar Proceedings, Volume 4351, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2005)
@InProceedings{gratus_et_al:DagSemProc.04351.7, author = {Gratus, Jonathan and Porter, Timothy}, title = {{A geometry of information, II: Sorkin models, and biextensional collapses}}, booktitle = {Spatial Representation: Discrete vs. Continuous Computational Models}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2005}, volume = {4351}, editor = {Ralph Kopperman and Michael B. Smyth and Dieter Spreen and Julian Webster}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.04351.7}, URN = {urn:nbn:de:0030-drops-1271}, doi = {10.4230/DagSemProc.04351.7}, annote = {Keywords: Chu space , Sorkin model , Nerve} }
Feedback for Dagstuhl Publishing