Skip to content
Licensed Unlicensed Requires Authentication Published by De Gruyter Mouton June 9, 2017

Dynamic Syntax and Proof Theory

Graham White
From the journal Theoretical Linguistics


Crole, Roy L. 1993. Categories for types. Cambridge: Cambridge University Press.Search 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.Search in Google Scholar

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

Kempson, Ruth, Ronnie Cann, Eleni Gregoromichelaki & Stergios Chatzikyriakidis. 2016. Languages as mechanisms for interaction. Theoretical Linguistics 42. 203–276.Search 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.Search in Google Scholar

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

Published Online: 2017-6-9
Published in Print: 2017-6-27

© 2017 Walter de Gruyter GmbH, Berlin/Boston