Types as graphs: Continuations in type logical grammar

DOI10.1007/s10849-006-0541-6zbMath1162.68716OpenAlexW2020568152MaRDI QIDQ1006443

Chris Barker, Chung-Chieh Shan

Publication date: 24 March 2009

Published in: Journal of Logic, Language and Information (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10849-006-0541-6

zbMATH Keywords

quantificationtype-logical grammarbindingcontinuationsstagingresource sensitivitysuperioritydelimited continuationsevaluation orderpolarity licensing

Mathematics Subject Classification ID

Theory of programming languages (68N15) Logic of natural languages (03B65) Natural language processing (68T50)

Related Items (5)

Symmetric categorial grammar ⋮ Semantically restricted argument dependencies ⋮ Distributional Semantics: A Montagovian View ⋮ Continuation semantics for the Lambek-Grishin calculus ⋮ Optionality, scope, and licensing: An application of partially ordered categories

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The lambda calculus, its syntax and semantics
• Call-by-name, call-by-value and the \(\lambda\)-calculus
• Revised report on the algorithmic language scheme
• A generalization of jumps and labels
• Definitional interpreters for higher-order programming languages
• Quantifiers, anaphora, and intensionality
• Ways of scope taking
• Display logic
• Untersuchungen über das logische Schliessen. I
• Proof nets for the multimodal Lambek calculus
• Anaphora and type logical grammar
• Environment classifiers
• Weaving a web
• The Mathematics of Sentence Structure
• The Zipper
• Generalized Quantifiers in Declarative and Interrogative Sentences
• Welfare Economics and Robinson Crusoe the Producer
• Über das Verhältnis zwischen intuitionistischer und klassischer Arithmetik
• Dynamic predicate logic
• The next 700 programming languages

This page was built for publication: Types as graphs: Continuations in type logical grammar