Types as graphs: Continuations in type logical grammar (Q1006443): Difference between revisions

@@ Property / author @@
-Chung-Chieh Shan
@@ Property / author: Chung-Chieh Shan / rank @@
-Normal rank
@@ Property / author @@
+Chung-Chieh Shan
@@ Property / author: Chung-Chieh Shan / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s10849-006-0541-6
+Normal rank
@@ Property / OpenAlex ID @@
+W2020568152
@@ Property / OpenAlex ID: W2020568152 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4457445
@@ Property / cites work: Q4457445 / rank @@
+Normal rank
@@ Property / cites work @@
+The lambda calculus, its syntax and semantics
@@ Property / cites work: The lambda calculus, its syntax and semantics / rank @@
+Normal rank
@@ Property / cites work @@
+Display logic
@@ Property / cites work: Display logic / rank @@
+Normal rank
@@ Property / cites work @@
+Generalized Quantifiers in Declarative and Interrogative Sentences
+Normal rank
@@ Property / cites work @@
+Q4229391
@@ Property / cites work: Q4229391 / rank @@
+Normal rank
@@ Property / cites work @@
+Quantifiers, anaphora, and intensionality
@@ Property / cites work: Quantifiers, anaphora, and intensionality / rank @@
+Normal rank
@@ Property / cites work @@
+Über das Verhältnis zwischen intuitionistischer und klassischer Arithmetik
+Normal rank
@@ Property / cites work @@
+Untersuchungen über das logische Schliessen. I
@@ Property / cites work: Untersuchungen über das logische Schliessen. I / rank @@
+Normal rank
@@ Property / cites work @@
+Q3994895
@@ Property / cites work: Q3994895 / rank @@
+Normal rank
@@ Property / cites work @@
+Dynamic predicate logic
@@ Property / cites work: Dynamic predicate logic / rank @@
+Normal rank
@@ Property / cites work @@
+Weaving a web
@@ Property / cites work: Weaving a web / rank @@
+Normal rank
@@ Property / cites work @@
+The Zipper
@@ Property / cites work: The Zipper / rank @@
+Normal rank
@@ Property / cites work @@
+Anaphora and type logical grammar
@@ Property / cites work: Anaphora and type logical grammar / rank @@
+Normal rank
@@ Property / cites work @@
+Revised report on the algorithmic language scheme
@@ Property / cites work: Revised report on the algorithmic language scheme / rank @@
+Normal rank
@@ Property / cites work @@
+The Mathematics of Sentence Structure
@@ Property / cites work: The Mathematics of Sentence Structure / rank @@
+Normal rank
@@ Property / cites work @@
+The next 700 programming languages
@@ Property / cites work: The next 700 programming languages / rank @@
+Normal rank
@@ Property / cites work @@
+A generalization of jumps and labels
@@ Property / cites work: A generalization of jumps and labels / rank @@
+Normal rank
@@ Property / cites work @@
+Q3680263
@@ Property / cites work: Q3680263 / rank @@
+Normal rank
@@ Property / cites work @@
+Proof nets for the multimodal Lambek calculus
@@ Property / cites work: Proof nets for the multimodal Lambek calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Q4862312
@@ Property / cites work: Q4862312 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4939102
@@ Property / cites work: Q4939102 / rank @@
+Normal rank
@@ Property / cites work @@
+Call-by-name, call-by-value and the \(\lambda\)-calculus
+Normal rank
@@ Property / cites work @@
+Q4805593
@@ Property / cites work: Q4805593 / rank @@
+Normal rank
@@ Property / cites work @@
+Definitional interpreters for higher-order programming languages
+Normal rank
@@ Property / cites work @@
+Welfare Economics and Robinson Crusoe the Producer
+Normal rank
@@ Property / cites work @@
+Ways of scope taking
@@ Property / cites work: Ways of scope taking / rank @@
+Normal rank
@@ Property / cites work @@
+Environment classifiers
@@ Property / cites work: Environment classifiers / rank @@
+Normal rank