Dynamic Syntax and Proof Theory

References

Crole, Roy L. 1993. Categories for types. Cambridge: Cambridge University Press.10.1017/CBO9781139172707Search in Google Scholar

Grothendieck, Alexandre. 1970. Catégories fibrées et descente. Pages 145–194 of: Grothendieck, Alexandre (ed.), Revêtements Etales et Groupe Fondamental (SGA 1). Lecture Notes in Mathematics, no. 224. Springer.10.1007/BFb0058662Search in Google Scholar

Honda, Kohei, Nobuko Yoshida & Marco Carbone. 2008. Multiparty asynchronous session types. SIGPLAN Not 43(1). 273–284.10.1145/1328438.1328472Search in Google Scholar

Kempson, Ruth, Ronnie Cann, Eleni Gregoromichelaki & Stergios Chatzikyriakidis. 2016. Languages as mechanisms for interaction. Theoretical Linguistics 42. 203–276.10.1515/tl-2016-0011Search in Google Scholar

Mac Lane, Saunders. 1998. Categories for the working mathematician. 2nd edn. Graduate Texts in Mathematics. New York etc.: Springer.Search in Google Scholar

Miller, Dale. 2006 (Feb.). Logic and logic programming: A personal account. ALP Newsletter 19(1).Search in Google Scholar

Milner, Robin. 1989. Communication and concurrency. New York: Prentice-Hall.Search in Google Scholar

Schächter, Vincent. 1999. How does concurrency extend the paradigm of computation? The Monist 82(1). 37–57.10.5840/monist19998217Search in Google Scholar

Winskel, Glyn. 1993. The formal semantics of programming languages. Cambridge, MA: MIT Press.10.7551/mitpress/3054.001.0001Search in Google Scholar