Game Semantics and Uniqueness of Type Inhabitance in the Simply-Typed λ-Calculus (Q3007657): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-642-21691-6_8
+Normal rank
@@ Property / OpenAlex ID @@
+W60649324
@@ Property / OpenAlex ID: W60649324 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4263830
@@ Property / cites work: Q4263830 / rank @@
+Normal rank
@@ Property / cites work @@
+Uniqueness of normal proofs in implicational intuitionistic logic
+Normal rank
@@ Property / cites work @@
+The lambda calculus. Its syntax and semantics. Rev. ed.
+Normal rank
@@ Property / cites work @@
+On Long Normal Inhabitants of a Type
@@ Property / cites work: On Long Normal Inhabitants of a Type / rank @@
+Normal rank
@@ Property / cites work @@
+A game semantics for linear logic
@@ Property / cites work: A game semantics for linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+A coherence theorem for canonical morphisms in Cartesian closed categories
+Normal rank
@@ Property / cites work @@
+Q4263866
@@ Property / cites work: Q4263866 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4346206
@@ Property / cites work: Q4346206 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2757812
@@ Property / cites work: Q2757812 / rank @@
+Normal rank
@@ Property / cites work @@
+On full abstraction for PCF: I, II and III
@@ Property / cites work: On full abstraction for PCF: I, II and III / rank @@
+Normal rank
@@ Property / cites work @@
+The virtues of eta-expansion
@@ Property / cites work: The virtues of eta-expansion / rank @@
+Normal rank
@@ Property / cites work @@
+Innocent game models of untyped \(\lambda\)-calculus
+Normal rank
@@ Property / cites work @@
+Dialogspiele als Semantische Grundlage von Logikkalkülen
+Normal rank
@@ Property / cites work @@
+Closed categories and the theory of proofs
@@ Property / cites work: Closed categories and the theory of proofs / rank @@
+Normal rank
@@ Property / cites work @@
+Q4501156
@@ Property / cites work: Q4501156 / rank @@
+Normal rank
@@ Property / cites work @@
+On the membership problem for non-linear abstract categorial grammars
+Normal rank