Author Title Main area Type
Lasha Abzianidze and Reinhard Muskens A Natural Proof System for Natural Language LaCo Advanced
Asad Sayeed Scope in an incremental context LaCo Advanced
Julian Hough and Arash Eshghi Incremental Language Processing in Dialogue Systems: A Practical Introduction LaCo Advanced
Daniel Bauer Graph Grammars for Natural Language Processing LaCo Advanced
Anna Rogers Advanced NLP with Python LaCo Advanced
Paul Dekker Theory of Interpretation LaLo Advanced
David Beaver and Kai von Fintel Variable costs LaLo Advanced
Natasha Korotkova Speech reports LaLo Advanced
Stergios Chatzikyriakidis and Zhaohui Luo From Montague Semantics to Modern Type Theories: A Meaningful Comparison LaLo Advanced
Pranav Anand and Maziar Toosarvandani Semantics and pragmatics of temporal sequencing LaLo Advanced
Valentin Shehtman and Ilya Shapirovsky Bisimulations and filtrations in modal logic LoCo Advanced
Michael Kohlhase and Florian Rabe Formalizing the Zoo of Logical Systems LoCo Advanced
Hans van Ditmarsch and Louwe B. Kuijer Quantifying over information change LoCo Advanced
Oliver Fernandez Gil Unification in Description Logics LoCo Advanced
Jørgen Villadsen Introduction to Type Theory and Higher-Order Logic LoCo Advanced