Resources for Categories in CS

Updated: 2015-12-06

Books

 

Classic Papers

  • (1973) A Junction Between Computer Science and Category Theory: Basic concepts and examples (part I) by J.A. Goguen, J.W. Thatcher, E.G. Wagner and J.B. Wright
    1. Towards a Theory of Type Structure by J. C. Reynolds
    2. <li>(1975) <a href="http://www.sciencedirect.com/science/article/pii/S0022000075800122">Discrete-Time Machines in Monoidal Closed Categories</a> by J. A. Goguen</li>
        <li>(1976) <a href="https://books.google.com/books/about/A_Junction_Between_Computer_Science_and.html?id=MBtntwAACAAJ">A Junction Between Computer Science and Category Theory: Basic concepts and examples (part II)</a> by J.A. Goguen, J.W. Thatcher, E.G. Wagner and J.B. Wright</li>
        <li>(1980) <a href="http://andrewkish-name.s3.amazonaws.com/scott80.pdf">Relating Theories of the Lambda-Calculus</a> by Dana Scott</li>
        <li>(1983) <a href="http://plv.mpi-sws.org/plerg/papers/reynolds-param83-2up.pdf">Types, Abstraction, and Parametric Polymorphism</a> by J. C. Reynolds</li>
        <li>(1989) <a href="http://citeseerx.ist.psu.edu/viewdoc/download;jsessionid=5D27B7929F03A5ED9A845DC543CA491D?doi=10.1.1.22.6153&amp;rep=rep1&amp;type=pdf">Linear Logic, *-Autonomous Categories and Cofree Coalgebras</a> by R.A.G. Seely</li>
        <li>(1991) <a href="http://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-213.pdf">The Dialectica Categories</a> by Valeria de Paiva</li>

Leave a comment by sending me an Email