1. Kripke models for Linear Logic;Allwein;Journal of Symbolic Logic,1993
2. Continuations and the nature of quantification;Barker;Natural language semantics,2002
3. C. Barker, Continuations in natural language, in: H. Thielecke (Ed.), CW’04: Proceedings of the Fourth ACM SIGPLAN Continuations Workshop, Technical Report CSR-04-1, School of Computer Science, University of Birmingham, pp. 1–11.
4. Types as graphs: Continuations in type logical grammar;Barker;Journal of Logic, Language and Information,2006
5. Donkey anaphora is in-scope binding;Barker;Semantics and Pragmatics,2008