Skip to main content
SpringerLink
Log in

A dialectica-like model of linear logic

  • Conference paper
  • First Online:
Category Theory and Computer Science

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 389))

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1979 M. BARR *-Autonomous Categories, LNM 752, Springer-Verlag, 1979.

    Google Scholar 

  2. 1969 J. BECK Distributive Laws, in Seminar on Triples and Categorical Homology Theory, LNM 80, Springer-Verlag, 119–140.

    Google Scholar 

  3. 1976 T. FOX Coalgebras and Cartesian Categories, Comm. Alg. (7) 4, 665–667.

    Google Scholar 

  4. J-Y. GIRARD 1986 Linear Logic, Theoretical Computer Science 46, 1–102.

    Google Scholar 

  5. 1987 Towards a Geometry of Interactions, to appear in Proc. A.M.S Conference on Categories in Computer Science and Logic, Boulder, 1987.

    Google Scholar 

  6. 1986 J-Y. GIRARD and Y. LAFONT Linear Logic and Lazy Computation, Proc. of TAPSOFT'87, Pisa.

    Google Scholar 

  7. K. GÖDEL 1958 Über eine bisher noch nicht benützte Erweiterung des finiten Standpunktes, Dialectica 12, 280–287.

    Google Scholar 

  8. 1980 On a Hitherto Unexploited Extension of the Finitary Standpoint, Journal of Philosophical Logic 9, 133–142.

    Google Scholar 

  9. A. KOCK 1970 Monads on Symmetric Monoidal Closed Categories, Arch. Math (21).

    Google Scholar 

  10. 1971 Bilinearity and Cartesian Closed Monads, Math. Scand. (29).

    Google Scholar 

  11. 1977 M. MAKKAI and G. REYES First-order Categorical Logic, LNM 611, Springer-Verlag.

    Google Scholar 

  12. 1987 V. C. V. de PAIVA The Dialectica Categories, to appear in Proc. A.M.S. Conference on Categories in Computer Science and Logic, Boulder, 1987.

    Google Scholar 

  13. R. A. G. SEELY 1984 Locally Cartesian Closed Categories and Type Theory, Math. Proc. Cambridge Philosophical Society 95, 33–48.

    Google Scholar 

  14. 1987 Linear Logic, *-autonomous categories and cofree coalgebras to appear in Proc. A.M.S Conference on Categories in Computer Science and Logic, 1987.

    Google Scholar 

  15. 1972 R. STREET The formal theory of monads, Journ. of Pure & Applied Alg. 2, 149–168.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Dept. Informatica PUC-RJ, R.M.S.Vicente, 225, 22453, Rio de Janeiro, Brazil

    Valeria C. V. de Paiva

Authors
  1. Valeria C. V. de Paiva
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

David H. Pitt David E. Rydeheard Peter Dybjer Andrew M. Pitts Axel Poigné

Rights and permissions

Reprints and permissions

Copyright information

© 1989 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

de Paiva, V.C.V. (1989). A dialectica-like model of linear logic. In: Pitt, D.H., Rydeheard, D.E., Dybjer, P., Pitts, A.M., Poigné, A. (eds) Category Theory and Computer Science. Lecture Notes in Computer Science, vol 389. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0018360

Download citation

  • DOI: https://doi.org/10.1007/BFb0018360

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-51662-0

  • Online ISBN: 978-3-540-46740-3

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation