Multi lingual sCalculus and coherent spaces

Electronic Notes in Theoretical Computer Science

Volumn 6, Issue , 1997, Pages 203-220

  Jung, Achim ^a   Kegelmann, Mathias ^a   Moshier, M Andrew ^b  

^a UNIVERSITY OF BIRMINGHAM   (United Kingdom)

^b CHAPMAN UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATION THEORY; DATA STRUCTURES; LINGUISTICS; LOGIC PROGRAMMING; SEMANTICS; THEOREM PROVING;

CALCULUS; COHERENT SPACES; OBSERVATIONAL LOGIC; PROXIMITY LATTICES;

DIFFERENTIATION (CALCULUS);

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

References (14)

1. S. Abramsky. Domain Theory and the Logic of Observable Properties, PhD thesis, University of London, 1987.
2. Abramsky S. Domain theory in logical form. Annals of Pure and Applied Logic. 51:1991;1-77
3. Abramsky S., Jung A. Domain theory, In. Abramsky S., Gabbay D.M., Maibaum T.S.E. Handbook of Logic in Computer Science. volume 3:1994;1-168 Clarendon Press
4. Freyd P.J., Scedrov A. Categories, Allegories. North-Holland. 1990
5. Gentzen G. Untersuchungen über das logische Schließen. Mathematische Zeitschrift. 39:1934;176-210. 405-431(Reprint 1969, Wissenschaftliche Buchgesellschaft Darmstadt)
6. Gierz G., Hofmann K.H., Keimel K., Lawson J.D., Mislove M., Scott D.S. A Compendium of Continuous Lattices. Springer Verlag. 1980
7. A. Jung and Ph. Sünderhauf. On the duality of compact vs. open, In S. Andima, R. C. Flagg, G. Itzkowitz, P. Misra, Y. Kong, and R. Kopperman, editors, Papers on General Topology and Applications: Eleventh Summer Conference at the University of Southern Maine, volume 806 of Annals of the New York Academy of Sciences, pages 214 - 230, 1996.
8. A. Jung and Ph. Sünderhauf, Uniform approximation of topological spaces, Technical Report CSR-96 - 3, School of Computer Science, The University of Birmingham, 1996. 19pp., available from http://www.cs.bham.ac.uk/.
9. Lawson J.D. The duality of continuous posets. Houston Journal of Mathematics. 5:1979;357-394
10. A. Schalk, Algebras for Generalized Power Constructions, Doctoral thesis, Technische Hochschule Darmstadt, 1993. 174 pp.
11. Smyth M.B. Stable compactification I. Journal of the London Mathematical Society. 45:1992;321-340
12. Smyth M.B. Topology, In. Abramsky S., Gabbay D.M., Maibaum T.S.E. Handbook of Logic in Computer Science. Vol. 1:1992;641-761 Clarendon Press
13. Troelstra A.S., Schwichtenberg H. Basic Proof Theory. Cambridge Tracts in Theoretical Computer Science. 1996;Cambridge University Press
14. Vickers S.J. Topology Via Logic. Cambridge Tracts in Theoretical Computer Science. 1989;Cambridge University Press