Abstract
In this paper we show that the stability condition on the functions in the coherence space model of linear logic [2] can be removed by making use of category-theoretical notions based on semi-functors [3] rather than on ordinary functors. The resulting “non-stable” model of linear logic is somewhat more simple to describe than the coherence space model and, in particular, the unit of times and par do have distinguished interpretations in the former model. The “extensionalization” of the various non-stable models described in this paper yield various categories of domains.
Preview
Unable to display preview. Download preview PDF.
References
Freyd, P.A., A. Scedrov, Categories, Allegories, North-Holland Publ. Comp., Amsterdam, 1989.
Girard, J.-Y., Linear Logic, Theor. Comput. Sci. 50 (1987), 1–102.
Hayashi, S., Adjunction of Semifunctors: Categorical Structures in Non-Extensional Lambda-Calculus, Theor. Comput. Sci. 41 (1985), 95–104.
Hoofman, R., Continuous Information Systems, Information and Computation, to appear.
Hoofman, R., Non-Stable Models of Linear Logic, thesis, 1991.
Hoofman, R., H. Schellinx, Collapsing Graph Models by Preorders, in: D.H. Pitt, P.-L. Curien, S. Abramsky, A.M. Pitts, A. Poigné and D.E. Rydeheard (Eds.), Category Theory and Computer Science, Proceedings, Lect. Notes in Comp. Sci., vol. 530, Springer-Verlag, Berlin, 1991, pp. 53–73.
Howard, W.A., The Formulae-as-Types Notion of Construction, in: J.R. Hindley and J.P. Seldin (Eds.), To H.B. Curry: Essays on Combinatory Logic, Lambda Calculus and Formalism, Academic Press, London, pp. 479–490.
Jacobs, B., Semantics of Second Order Lambda Calculus, Mathematical Structures in Computer Science, vol. 2, 1991, to appear.
Karoubi, M., K-theory, An Introduction, Springer, Berlin/New-York, 1978.
Koymans, C.P.J., Models of the Lambda Calculus, Inform. and Control 52 (1982) 306–322.
Larsen K., G. Winskel, Using Information Systems to Solve Recursive Domain Equations Effectively, in: G. Kahn, D.B. MacQueen and G. Plotkin (Eds.), Semantics of Data Types, Proceedings Int. Symp., Lect. Notes in Comp. Sci., vol. 173, Springer-Verlag, Berlin, 1984, pp. 109–129.
Maclane, S., Categories for the Working Mathematician, Springer-Verlag, New-York, 1971.
Martini, S., An interval Model for Second Order Lambda Calculus, in: D.H. Pitt, A. Poigné and D. Rydeheard (Eds.), Category Theory and Computer Science, Proceedings, Lect. Notes in Comp. Sci., vol. 283, Springer-Verlag, Berlin, 1987, pp. 219–237.
Scott D., Domains for Denotational Semantics, in: M. Nielsen and E.M. Schmidt (Eds.), Automata, Languages and Programming, Ninth Colloquium, Lect. Notes in Comp. Sci., vol. 140, Springer-Verlag, Berlin, 1982, pp. 577–613.
Seely, R.A.G., Linear Logic,-Autonomous Categories, and Cofree Coalgebras, Categories in Computer Science and Logic, Proceedings, Contemporary Mathematics, vol. 92, Boulder, 1989, pp. 371–382.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1992 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Hoofman, R. (1992). Non-stable models of linear logic. In: Nerode, A., Taitslin, M. (eds) Logical Foundations of Computer Science — Tver '92. LFCS 1992. Lecture Notes in Computer Science, vol 620. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0023875
Download citation
DOI: https://doi.org/10.1007/BFb0023875
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-55707-4
Online ISBN: 978-3-540-47276-6
eBook Packages: Springer Book Archive