Syntax vs. semantics: A polarized approach (Q2570132): Difference between revisions

@@ Property / DOI @@
-.1016/j.tcs.2005.05.012
@@ Property / DOI: 10.1016/j.tcs.2005.05.012 / rank @@
-Normal rank
@@ Property / MaRDI profile type @@
+Publication
@@ Property / MaRDI profile type: Publication / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.tcs.2005.05.012
+Normal rank
@@ Property / OpenAlex ID @@
+W2068763700
@@ Property / OpenAlex ID: W2068763700 / rank @@
+Normal rank
@@ Property / cites work @@
+Games and full completeness for multiplicative linear logic
+Normal rank
@@ Property / cites work @@
+Full abstraction for PCF
@@ Property / cites work: Full abstraction for PCF / rank @@
+Normal rank
@@ Property / cites work @@
+Full abstraction for idealized Algol with passive expressions
+Normal rank
@@ Property / cites work @@
+Linear Läuchli semantics
@@ Property / cites work: Linear Läuchli semantics / rank @@
+Normal rank
@@ Property / cites work @@
+Linear logic
@@ Property / cites work: Linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+A new constructive logic: classic logic
@@ Property / cites work: A new constructive logic: classic logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4896506
@@ Property / cites work: Q4896506 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4263837
@@ Property / cites work: Q4263837 / rank @@
+Normal rank
@@ Property / cites work @@
+Locus Solum: From the rules of logic to the logic of rules
+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 @@
+Dependent choice, `quote' and the clock
@@ Property / cites work: Dependent choice, `quote' and the clock / rank @@
+Normal rank
@@ Property / cites work @@
+Polarized games
@@ Property / cites work: Polarized games / rank @@
+Normal rank
@@ Property / cites work @@
+Classical isomorphisms of types
@@ Property / cites work: Classical isomorphisms of types / rank @@
+Normal rank
@@ Property / cites work @@
+Polarized and focalized linear and classical proofs
+Normal rank
@@ Property / cites work @@
+Q4650583
@@ Property / cites work: Q4650583 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4501156
@@ Property / cites work: Q4501156 / rank @@
+Normal rank
@@ Property / cites work @@
+Control categories and duality: on the categorical semantics of the lambda-mu calculus
+Normal rank
@@ Property / cites work @@
+Obsessional experiments for linear logic proof-nets
+Normal rank
@@ Property / DOI @@
+.1016/J.TCS.2005.05.012
@@ Property / DOI: 10.1016/J.TCS.2005.05.012 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2570132