Dynamic Syntax and Proof Theory

  • 1 Electronic Engineering and Computer Science, Queen Mary, London, UK
Graham White
  • Corresponding author
  • Electronic Engineering and Computer Science, Queen Mary, University of London, London, E1 4NS, UK
  • Email
  • Search for other articles:
  • degruyter.comGoogle Scholar

If the inline PDF is not rendering correctly, you can download the PDF file here.

  • Crole, Roy L. 1993. Categories for types. Cambridge: Cambridge University Press.

  • 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.

  • Honda, Kohei, Nobuko Yoshida & Marco Carbone. 2008. Multiparty asynchronous session types. SIGPLAN Not 43(1). 273–284.

  • Kempson, Ruth, Ronnie Cann, Eleni Gregoromichelaki & Stergios Chatzikyriakidis. 2016. Languages as mechanisms for interaction. Theoretical Linguistics 42. 203–276.

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

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

  • Milner, Robin. 1989. Communication and concurrency. New York: Prentice-Hall.

  • Schächter, Vincent. 1999. How does concurrency extend the paradigm of computation? The Monist 82(1). 37–57.

  • Winskel, Glyn. 1993. The formal semantics of programming languages. Cambridge, MA: MIT Press.

Purchase article
Get instant unlimited access to the article.
Log in
Already have access? Please log in.

Journal + Issues

Theoretical Linguistics is an open peer review journal. Each issue contains one long target article about a topic of general linguistic interest, together with several shorter reactions, comments and reflections on it. With this format, the journal aims to stimulate discussion in linguistics and adjacent fields of study, in particular across schools of different theoretical orientations.