A new category for semantics

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2136, Issue , 2001, Pages 111-123

  Scott, Dana S ^a  

^a CARNEGIE MELLON UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

DIFFERENTIATION (CALCULUS); SEMANTICS;

CARTESIANS; DENOTATIONAL SEMANTICS; DOMAIN EQUATIONS; DOMAIN THEORY; FUNCTION SPACES; RECURSIVE DOMAINS; TYPED LAMBDA CALCULUS; UNTYPED LAMBDA CALCULUS;

CALCULATIONS;

EID: 84974693335     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-44683-4_1     Document Type: Conference Paper

References (13)

1. S. Awodey, A. Bauer. Sheaf Toposes for Realizability. April 2001. Preprint CMUPHIL-117.
2. A. Bauer, L. Birkedal, D. S. Scott. Equilogical Spaces. September 1998. Revised February 2001. To appear in Theoretical Computer Science.
3. A. Bauer The Realizability Approach to Computable Analysis and Topology. Ph.D. Thesis. September 2000.
4. S. Awodey, J. Hughes. The Coalgebraic Dual of Birkhoff’s Variety Theorem. Preprint. October 2000.
5. L. Birkedal, J. van Oosten. Relative and Modified Relative Realizability. Preprint 1146, Department of Mathematics, Universiteit Utrecht. March 2000.
6. A. Bauer, L. Birkedal. Continuous Functionals of Dependent Types and Equilogical Spaces. Proceedings of Computer Science Logic Conference 2000.
7. S. Awodey, L. Birkedal, D. S. Scott. Local Realizability Toposes and a Modal Logic for Computability. January 2000. To appear in Math. Struct. in Comp. Sci.
8. L. Birkedal. A General Notion of Realizability. December 1999. Proceedings of LICS 2000.
9. L. Birkedal. Developing Theories of Types and Computability via Realizability. PhD-thesis. Electronic Notes in Theoretical Computer Science, 34, 2000. Available at http://www.elsevier.nl/locate/entcs/volume34.html. December 1999.
10. S. Awodey and L. Birkedal. Elementary Axioms for Local Maps of Toposes. Technical Report No. CMU-PHIL103. November 1999. To appear in Journal of Pure and Applied Algebra.
11. S. Awodey. Topological Representation of the Lambda Calculus. September 1998. Mathematical Structures in Computer Science(2000), vol. 10, pp. 81-96.
12. L. Birkedal, A. Carboni, G. Rosolini, and D. S. Scott. Type Theory via Exact Categories. LICS 1998. July 1998.
13. D. S. Scott. A New Category?: Domains, Spaces and Equivalence Relations. Unpublished Manuscript. December 1996.