Geometrical semantics for linear logic (multiplicative fragment) (Q2500490): Difference between revisions

@@ 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.1016/j.tcs.2006.03.020
+Normal rank
@@ Property / OpenAlex ID @@
+W2063490623
@@ Property / OpenAlex ID: W2063490623 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2707380
@@ Property / cites work: Q2707380 / rank @@
+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 @@
+Q4842966
@@ Property / cites work: Q4842966 / rank @@
+Normal rank
@@ Property / cites work @@
+Coherent Banach spaces: A continuous denotational semantics
+Normal rank
@@ Property / cites work @@
+Q5649693
@@ Property / cites work: Q5649693 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3785520
@@ Property / cites work: Q3785520 / rank @@
+Normal rank
@@ Property / cites work @@
+Symplectic geometry
@@ Property / cites work: Symplectic geometry / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2500490