Studying repleteness in the category of Cpos

Electronic Notes in Theoretical Computer Science

Volumn 6, Issue , 1997, Pages 249-254

  Makkai, Michael ^a   Rosolini, Giuseppe ^b  

^a MCGILL UNIVERSITY   (Canada)

^b UNIVERSITY OF GENOA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

EQUIVALENCE CLASSES; FINITE ELEMENT METHOD; FUNCTION EVALUATION; FUNCTIONS; MATHEMATICAL MODELS; SET THEORY; TURING MACHINES;

COMPLETE PARTIAL ORDERS; SCOTT-CONTINUOUS FUNCTIONS; SYNTHETIC DOMAIN THEORY;

COMPUTATION THEORY;

EID: 0004361212     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1571-0661(05)80157-4     Document Type: Conference Paper

References (15)

1. Fiore M., Rosolini G. Two models of Synthetic Domain Theory, to appear. 1996
2. Freyd P.J., Kelly G.M. Categories of continuous functors I. J. Pure Appl. Alg. 2:1972;169-191
3. Freyd P.J., Mulry P., Rosolini G., Scott D.S. Extensional PERs. Inform, and Comput. 98:1992;211-227
4. Hyland J.M.E. The effective topos. Troelstra A.S., Dalen D.Van. The L.E.J. Brouwer Centenary Symposium. 1982;165-216 North Holland Publishing Company
5. Hyland J.M.E., Moggi E. The S-replete construction. CTCS 1995, volume 953 of Lectures Notes in Computer Science. 1995;Springer Verlag
6. Hyland J.M.E. First steps in Synthetic Domain Theory. Carboni A., Pedicchio M.C., Rosolini G. Category Theory '90, volume 1144 of Lectures Notes in Mathematics Como. 1992;131-156 Springer-Verlag
7. Johnstone P.T. Scott is not always sober. Continuous Lattices volume 871 of Lectures Notes in Mathematics. 1981;282-283 Springer Verlag
8. Longley J. Realizability Toposes and Language Semantics. 1995;Ph.d, Edinburgh
9. Lehmann D., Pasztor A. Epis need not be dense. Theo. Comp. Sci. 17:1982;151-161
10. D.C. McCarty. Realizability and Recursive Mathematics. D. Phil, thesis, University of Oxford, 1984.
11. W. Phoa. Domain theory in realizability toposes. PhD thesis, Cambridge, 1990.
12. Reus B. Program Verification in Synthetic Domain Theory. 1995;Dokt. Diss. Liidwig-Maximilians-Universitat, Shaker Verlag, Miinchen, Aachen
13. G. Rosolini. Continuity and effectiveness in topoi. D. Phil, thesis, University of Oxford, 1986.
14. Scott D. Letter to Wesley Phoa. Schwangau, August. 7:1989;41
15. Taylor P. The fixed point property in synthetic domain theory. Kahn G. Logic in Computer Science 6. 1991;152-160 IEEE