Multi lingual sequent calculus and coherent spaces

Fundamenta Informaticae

Volumn 37, Issue 4, 1999, Pages 369-412

  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

EID: 0040907650     PISSN: 01692968     EISSN: None     Source Type: Journal    
DOI: 10.3233/fi-1999-37403     Document Type: Article

References (16)

1. S. Abramsky. Domain Theory and the Logic of Observable Properties. PhD thesis, University of London, 1987.
2. S. Abramsky. Domain theory in logical form. Annals of Pure and Applied Logic, 51:1-77, 1991.
3. S. Abramsky and A. Jung. Domain theory. In S. Abramsky, D. M. Gabbay, and T. S. E. Maibaum, editors, Handbook of Logic in Computer Science, volume 3, pages 1-168. Clarendon Press, 1994.
4. P. J. Freyd and A. Scedrov. Categories, Allegories. North-Holland, 1990.
5. G. Gentzen. Untersuchungen über das logische Schließen. Mathematische Zeitschrift, 39:176-210, 405-431, 1934. (Reprint 1969, Wissenschaftliche Buchgesellschaft Darmstadt).
6. G. Gierz, K. H. Hofmann, K. Keimel, J. D. Lawson, M. Mislove, and D. S. Scott. 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. Topology and its Applications, 83:23-38, 1998.
9. J. D. Lawson. The duality of continuous posets. Houston Journal of Mathematics, 5:357-394, 1979.
10. S. Mac Lane. Categories for the Working Mathematician. Springer Verlag, 1971.
11. K. Meinke and J. V. Tucker. Universal algebra. In S. Abramsky, D. M. Gabbay, and T. S. E. Maibaum, editors, Handbook of Logic in Computer Science, volume 1. Clarendon Press, 1992.
12. A. Schalk. Algebras for Generalized Power Constructions. Doctoral thesis, Technische Hochschule Darmstadt, 1993. 174 pp.
13. M. B. Smyth. Stable compactification I. Journal of the London Mathematical Society, 45:321-340, 1992.
14. M. B. Smyth. Topology. In S. Abramsky, D. M. Gabbay, and T. S. E. Maibaum, editors, Handbook of Logic in Computer Science, vol. 1, pages 641-761. Clarendon Press, 1992.
15. A. S. Troelstra and H. Schwichtenberg. Basic Proof Theory. Cambridge Tracts in Theoretical Computer Science. Cambridge University Press, 1996.
16. S. J. Vickers. Topology Via Logic. Cambridge Tracts in Theoretical Computer Science. Cambridge University Press, 1989.