The calculus of responsibility and commitment

[1]  Carl Pollard,et al.  Covert Movement in Logical Grammar , 2011, Logic and Grammar.

[2]  Reinhard Muskens,et al.  Type-logical semantics , 2010 .

[3]  Alan Bundy,et al.  Towards Ontology Evolution in Physics , 2008, WoLLIC.

[4]  Barbara H. Partee,et al.  Anaphora and Semantic Structure , 2008 .

[5]  Michael Moortgat,et al.  Symmetries in Natural Language Syntax and Semantics: The Lambek-Grishin Calculus , 2007, WoLLIC.

[6]  Michael Moortgat,et al.  Continuation Semantics for Symmetric Categorial Grammar , 2007, WoLLIC.

[7]  Anders Søgaard,et al.  Patrick Blackburn and Johan Bos, Representation and Inference for Natural Language , 2007, Stud Logica.

[8]  C. Pollard.  Nonlocal Dependencies via Variable Contexts , 2007 .

[9]  Alain Lecomte,et al.  Linear Grammars with Labels , 2006 .

[10]  Chung-chieh Shan,et al.  Delimited continuations in natural language: quantification and polarity sensitivity , 2004, ArXiv.

[11]  C. Barker.  Continuations and the Nature of Quantification , 2002 .

[12]  Martin Stokhof,et al.  Proceedings of the Thirteenth Amsterdam Colloquium , 2001 .

[13]  Hugo Herbelin,et al.  The duality of computation , 2000, ICFP '00.

[14]  Michel Parigot,et al.  On the Computational Interpretation of Negation , 2000, CSL.

[15]  Willemijn Vermaat.  Controlling Movement Minimalism in a Deductive Perspective , 1999 .

[16]  Alex K. Simpson,et al.  Computational Adequacy in an Elementary Topos , 1998, CSL.

[17]  Michael Moortgat,et al.  Categorial Type Logics , 1997, Handbook of Logic and Language.

[18]  M. Moortgat.  Generalized quantifiers and discontinuous type constructors , 1996 .

[19]  G. Morrill.  Type logical grammar - categorial logic of signs , 1994 .

[20]  Glyn Morrill,et al.  Type Logical Grammar: Categorial Logic of Signs , 1994 .

[21]  Frank Pfenning,et al.  Logic Programming and Automated Reasoning , 1994, Lecture Notes in Computer Science.

[22]  Michael J. Fischer,et al.  Lambda-calculus schemata , 1993, LISP Symb. Comput..

[23]  H.L.W. Hendriks,et al.  Studied flexibility : categories and types in syntax and semantics , 1993 .

[24]  Michel Parigot,et al.  Lambda-Mu-Calculus: An Algorithmic Interpretation of Classical Natural Deduction , 1992, LPAR.

[25]  Olivier Danvy,et al.  Abstracting control , 1990, LISP and Functional Programming.

[26]  M. Moortgat.  Categorial Investigations: Logical and Linguistic Aspects of the Lambek Calculus , 1988 .

[27]  Uwe Reyle,et al.  Natural Language Parsing and Linguistic Theories , 1988 .

[28]  Matthias Felleisen,et al.  The theory and practice of first-class prompts , 1988, POPL '88.

[29]  William R. Keller,et al.  Nested Cooper Storage: The Proper Treatment of Quantification in Ordinary Noun Phrases , 1988 .

[30]  Robin Cooper,et al.  Quantification and Syntactic Theory , 1983 .

[31]  Eric Bach,et al.  Discontinuous constituents in generalized categorial grammars , 1981 .

[32]  Robin Hayes Cooper,et al.  MONTAGUE'S SEMANTIC THEORY AND TRANSFORMATIONAL SYNTAX. , 1975 .

[33]  Daniel Gallin,et al.  Intensional and Higher-Order Modal Logic , 1975 .

[34]  R. Montague.  Formal philosophy; selected papers of Richard Montague , 1974 .

[35]  Richard Montague,et al.  The Proper Treatment of Quantification in Ordinary English , 1973 .

[36]  Leon Henkin,et al.  Completeness in the theory of types , 1950, Journal of Symbolic Logic.

[37]  Alonzo Church,et al.  A formulation of the simple theory of types , 1940, Journal of Symbolic Logic.