Publisher
Springer Berlin Heidelberg
Reference18 articles.
1. S. Abramsky, R. Jagadeesan, and P. Malacaria. Full abstraction for PCF (extended abstract). In Proceedings of TACS '94. Springer LNCS 789, 1994.
2. S. O. Anderson and A. J. Power. A representable approach to nondeterminism. Submitted to Proceedings of MFPS '94, 1994.
3. G. M. Bierman. What is a categorical model of intuitionistic linear logic? In Typed Lambda Calculi and Applications, Proceedings of TLCA '95. Springer LNCS 902, 1995.
4. S. Eilenberg and G. M. Kelly. Closed categories. In Proceedings of the Conference on Categorical Algebra, La Jolla 1965, pages 421–562. Springer, 1966.
5. M. P. Fiore. Axiomatic Domain Theory in Categories of Partial Maps. Ph.D. thesis, Department of Computer Science, University of Edinburgh. Available as ECS-LFCS-94-307, 1994.