Prof. Dr. Dieter Spreen

Adresse

Prof. Dr. Dieter Spreen
Fakultät IV: Mathematik
Mathematische Logik und Theoretische Informatik
Emmy-Noether-Campus
Walter-Flex-Str. 3
57068 Siegen
Germany

E-mail:	spreen@math.uni-siegen.de
Telefon:	+49 (0) 271 / 740-3165
Fax.:	+49 (0) 271 / 740-3640
Raum:	EN-B 0122

Lebenslauf

als pdf.

Forschungsinteressen

Berechenbarkeits- und Komplexitästheorie
Effectively Given Data Structures
Bereichstheorie
Lambda-Kalkül
Logik
Topologie

Neuere Veröffentlichungen

Every Δ⁰₂-set is natural, up to Turing equivalence . CiE 2010 (F. Ferreira et al., eds.), 386-393. Lecture Notes in Computer Science 6158. Springer, Berlin 2010.
Effectivity and effective continuity of multifunctions . The Journal of Symbolic Logic 75, 602-640 (2010).
Representing L-Domains as Information Systems . Schriften zur Theoretischen Informatik Nr. 08-03. Universität Siegen 2008.
A construction method for partial metrics . Topology Proceedings 33, 41-54 (2008).
Information systems revisited: the general continuous case (with Luoshan Xu and Xuxin Mao). Theoretical Computer Science 405, 176-187 (2008).
On some problems in computable topology . Logic Colloquium 2005 (Dimitracopoulos, C. et. al., eds.). Cambridge University Press 2008, 221-254.
A note on partial numberings (with S. Badaev). Mathematical Logic Quarterly 51, 129-136 (2005).
Strong reducibility for partial numberings. Archive for Mathematical Logic 44, 209-217 (2005).
Domains with approximation structure and their canonical quasi-metrics . Unpublished manuscript.
The largest cartesian closed category of domains, considered constructively. Mathematical Structures in Computer Science 15, 299-321 (2005).
A note on strongly finite sequent structures (with R. Greb). Domain Theory, Logic and Computation (Zhang, G.-Q. et al., eds.), 179-196. Kluwer, Dordrecht, 2003.
Pre-coherence spaces with approximation structure: a model for intuitinistic linear logic which is not a model of classical linear logic . Draft.
On some constructions in quantitative domain theory . Extended abstract.
Safe weak minimization revisited. SIAM J. Computing 31, 1542-1556 (2002).
On the expressive power of existential quantification in polynomial-time computability . Extended abstract of an talk given at the Second International Workshop on IMPLICIT COMPUTATIONAL COMPLEXITY (ICC 2000), Santa Barbara, CA, June 29-30, 2000.
A new model construction for the polymorphic lambda calculus. Logic for Programming and Automated Reasoning, 7th Intern. Conf., LPAR 2000, Réunion Island, France, November 2000, Proc. (Parigot, M. et al., eds.), 275-292. Lec. Notes Artificial Intelligence 1955. Springer, Berlin 2000.
On domains witnessing increase in information Applied General Topology 1, 129-152 (2000).
On the equivalence of some approaches to computability on the real line (with H. Schulz). Domains and Processes, Proc. 1st Intern. Symp. on Domain Theory, Shanghai, China, 1999 (Keimel, K. et al., eds.). Kluwer, Boston, 2001, 67-101.
Representations versus numberings: on the relationship of two computability notions. Theoretical Computer Science 263, 473-499 (2001). Revised version of an earlier paper.
An effective stable domain model of the calculus of constructions extended by strong sums and recursive definitions . Extended abstract of a talk given at the International Symposium on Domain Theory (ISDT'99), October 17-24, 1999, Shanghai, China.
A new model construction for various type systems . Extended abstract of a talk presented at the Workshop on Logic, Language, Information and Computation, July 28-31, 1998, São Paulo, Brazil.
Can partial indexings be totalized? The Journal of Symbolic Logic 6, 1157-1185 (2001).
Finitely generated rank-ordered sets as a model for Type:Type . Unpublished manuscript.
On functions preserving levels of approximations: a refined model construction for various lambda calculi. Theoretical Computer Science 212, 261-303 (1999); Corrigendum 266, 997-998 (2001).
Representations versus numberings: on two computability notions. Combinatorics, Complexity, & Logic. (Bridges, D. S. et al., eds.), 387-401. Springer, Singapore, 1996.
On effective topological spaces. The Journal of Symbolic Logic 63, 185-221 (1998); Corrigendum 65, 1917-1918 (2000).
Effective inseparability in a topological setting. Annals of Pure and Applied Logic 80, 257-275 (1996).
On some decision problems in programming. Information and Computation 122, 120-139 (1995); Corrigendum 148, 241-244 (1999).

Neuere Vorträge

A Refined Model Construction for the Polymorphic Lambda Calculus. Slides of a talk presented at the workshop Program Extraction and Constructive ProofsBrno, 21 August 2010.
A Strongly Eective Domain Model for the Calculus of Constructions. Slides of a talk presented at the workshop Models, Proofs, Constructions, University of Munich (LMU), Germany, August 11-22, 2010.
Eectively Given Spaces, Domains, and Formal Topology. Slides of a talk presented at the workshop Constructive Mathematics: Proofs and Computation, Frauenwörth, Chiemsee, Germany, June 7-11, 2010.
An intrinsic characterisation of effective topologies . Slides of a talk presented at the Workshop Advances in Constructive Topology and Logical Foundations, Padua, Italy, October 8-11, 2008.
Solving Domain Equations in the Category of Effectively Given Topological Spaces. Slides of a talk presented at the Workshop on Constructivism-Logic and Mathematics, Kanazawa, Japan, May 26-30, 2008.
Domains under bitopological glasses. Slides of a talk presented at the 22nd Summer Conference on Topology and Its Applications, Castellón, Spain, July 24-27, 2007.
Representing L-domains as information systems. Slides of a talk presented at the workshop Logic and Information. From Logic to Constructive Reasoning. Swiss-South African Joint Seminar, Bern, Switzerland, January 25-27, 2007.
Effectivity and effective continuity of multifunctions. Slides of a talk presented at the workshop Trends in Constructive Mathematics, Frauenwörth, Chiemsee, Germany, June 19-23, 2006.