The theory and practice of first-class prompts
POPL '88 Proceedings of the 15th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A syntactic theory of sequential state
Theoretical Computer Science
LFP '90 Proceedings of the 1990 ACM conference on LISP and functional programming
POPL '03 Proceedings of the 30th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
The calculi of lambda-nu-cs conversion: a syntactic theory of control and state in imperative higher-order programming languages
Negative polarity licensing at the syntax-semantics interface
ACL '98 Proceedings of the 35th Annual Meeting of the Association for Computational Linguistics and Eighth Conference of the European Chapter of the Association for Computational Linguistics
Linguistic side effects
Proceedings of the eleventh ACM SIGPLAN international conference on Functional programming
Types as Graphs: Continuations in Type Logical Grammar
Journal of Logic, Language and Information
Polarity sensitivity and evaluation order in type-logical grammar
HLT-NAACL-Short '04 Proceedings of HLT-NAACL 2004: Short Papers
| Hi-index | 0.00 |
We model semantic interpretation operationally: constituents interact as their combination in discourse evolves from state to state. The states are recursive data structures and evolve from step to step by context-sensitive rewriting. These notions of context and order let us explain inverse-scope quantifiers and their polarity sensitivity as metalinguistic quotation of the wider scope.