Alex K. Simpson  Home/Search
Context
Related
| dcs.edinburgh.ac.uk/home/al...rde.ps.gz dcs.ed.ac.uk/~als/Research/rde.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: dcs.edinburgh.ac.uk/home/als/R... (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: This paper is not finished. This version contains the main proofs, but not the proofs of all lemmas etc. There are also some minor notational problems (e.g. the usage of (Update)
Active bibliography (related documents): More All
1.9: Computational Adequacy for Recursive Types in Models of.. - Simpson (2002) (Correct)
0.6: Axioms and (Counter)examples in Synthetic Domain Theory - van Oosten, Simpson (1998) (Correct)
0.6: Axioms and (Counter)examples in Synthetic - Domain Theory Jaap (Correct)
Similar documents based on text: More All
0.6: Naïve Synthetic Domain Theory: A Logical Approach - Reus, Streicher (Correct)
0.4: Computational Adequacy in an Elementary Topos - Simpson (1999) (Correct)
0.4: Solving Recursive Domain Equations with Enriched Categories - Wagner (1994) (Correct)
BibTeX entry: (Update)
@misc{ simpson-solving,
author = "Alex K. Simpson",
title = "Solving Recursive Domain Equations in Models of Intuitionistic Set Theory",
url = "citeseer.ist.psu.edu/simpson01solving.html" }
Citations (may not include all citations):359 Introduction to Higher Order Categorical Logic (context) - Lambek, Scott - 1986
150 The category-theoretic solution of recursive domain equation.. (context) - Smyth, Plotkin - 1982
59 Axiomatic Domain Theory in Categories of Partial Maps (context) - Fiore - 1996
54 Games and Full Abstraction for a Functional Metalanguage wit.. (context) - McCusker - 1998
46 Recursive types reduced to inductive types (context) - Freyd - 1990
45 First steps in synthetic domain theory (context) - Hyland - 1990
38 Categorical Logic and Type Theory (context) - Jacobs - 1999
36 Remarks on algebraically compact categories (context) - Freyd - 1992
28 The fixed point property in synthetic domain theory (context) - Taylor - 1991
26 Tripos theory (context) - Hyland, Johnstone et al. - 1980
25 Recursive types in Kleisli categories - Simpson - 1992
19 General synthetic domain theory --- a logical approach - Reus, Streicher - 1999
16 ective topos (context) - Hyland - 1982
16 Complete cuboidal sets in axiomatic domain theory - Fiore, Plotkin et al. - 1997
14 Algebraic Set Theory (context) - Joyal, Moerdijk - 1995
13 An extension of models of axiomatic domain theory to models .. - Fiore, Plotkin - 1997
12 Computational adequacy in an elementary topos - Simpson - 1999
9 A uniform account of domain theory in realizability models (context) - Longley, Simpson - 1997
9 A presentation of the initial lift algebra (context) - Jibladze - 1997
7 Elementary axioms for categories of classes (context) - Simpson - 1999
5 examples in synthetic domain theory (context) - van Oosten, Simpson et al. - 2000
5 ective domains and intrinsic structure (context) - Phoa - 1990
5 Cambridge University Press (context) - Taylor - 1999
5 Theoretical Computer Science (context) - Fiore, Rosolini - 1999
4 Continuity and E#ectivity in Topoi (context) - Rosolini - 1986
1 Relating theories of the #-calculus (context) - Scott - 1980
Documents on the same site (http://www.dcs.edinburgh.ac.uk/home/als/Research/): More
Topological and Limit-space subcategories of Countably-based.. - Menni, Simpson (2001) (Correct)
A Universal Characterization of the Closed Euclidean.. - Escardó, Simpson (Correct)
Computational Adequacy for Recursive Types in Models of.. - Simpson (2002) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC