Jump to ContentJump to Main Navigation
Show Summary Details
More options …

Theoretical Linguistics

An Open Peer Review Journal

Editor-in-Chief: Krifka, Manfred

Ed. by Gärtner, Hans-Martin

IMPACT FACTOR 2017: 2.000
5-year IMPACT FACTOR: 2.343

CiteScore 2017: 0.70

SCImago Journal Rank (SJR) 2017: 0.457
Source Normalized Impact per Paper (SNIP) 2017: 1.318

See all formats and pricing
More options …
Volume 43, Issue 1-2


Dynamic Syntax and Proof Theory

Graham White
  • Corresponding author
  • Electronic Engineering and Computer Science, Queen Mary, University of London, London E1 4NS, UK
  • Email
  • Other articles by this author:
  • De Gruyter OnlineGoogle Scholar
Published Online: 2017-06-09 | DOI: https://doi.org/10.1515/tl-2017-0011


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

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

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

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

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

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

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

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

About the article

Published Online: 2017-06-09

Published in Print: 2017-06-27

Citation Information: Theoretical Linguistics, Volume 43, Issue 1-2, Pages 135–140, ISSN (Online) 1613-4060, ISSN (Print) 0301-4428, DOI: https://doi.org/10.1515/tl-2017-0011.

Export Citation

© 2017 Walter de Gruyter GmbH, Berlin/Boston.Get Permission

Comments (0)

Please log in or register to comment.
Log in