Types as graphs: Continuations in type logical grammar
type: Item
instance of: scholarly article
title: Types as graphs: Continuations in type logical grammar
zbMATH Open document ID: 1162.68716
author: Chris Barker
author: Chung-Chieh Shan
published in: Journal of Logic, Language and Information
publication date: 2009-03-24T00:00:00Z
Mathematics Subject Classification ID: 68T50
Mathematics Subject Classification ID: 03B65
Mathematics Subject Classification ID: 68N15
zbMATH DE Number: 5532508
zbMATH Keywords: continuations
zbMATH Keywords: type-logical grammar
zbMATH Keywords: resource sensitivity
zbMATH Keywords: quantification
zbMATH Keywords: polarity licensing
zbMATH Keywords: binding
zbMATH Keywords: superiority
zbMATH Keywords: evaluation order
zbMATH Keywords: staging
zbMATH Keywords: delimited continuations
MaRDI profile type: Publication
full work available at URL: s10849-006-0541-6
OpenAlex ID: W2020568152
cites work: Q4457445
cites work: The lambda calculus, its syntax and semantics
cites work: Display logic
cites work: Generalized Quantifiers in Declarative and Interrogative Sentences
cites work: Q4229391
cites work: Quantifiers, anaphora, and intensionality
cites work: Über das Verhältnis zwischen intuitionistischer und klassischer Arithmetik
cites work: Untersuchungen über das logische Schliessen. I
cites work: Q3994895
cites work: Dynamic predicate logic
cites work: Weaving a web
cites work: The Zipper
cites work: Anaphora and type logical grammar
cites work: Revised report on the algorithmic language scheme
cites work: The Mathematics of Sentence Structure
cites work: The next 700 programming languages
cites work: A generalization of jumps and labels
cites work: Q3680263
cites work: Proof nets for the multimodal Lambek calculus
cites work: Q4862312
cites work: Q4939102
cites work: Call-by-name, call-by-value and the \(\lambda\)-calculus
cites work: Q4805593
cites work: Definitional interpreters for higher-order programming languages
cites work: Welfare Economics and Robinson Crusoe the Producer
cites work: Ways of scope taking
cites work: Environment classifiers
DOI: 10.1007/S10849-006-0541-6
description: scientific article; zbMATH DE number 5532508