Quantitative domains, groupoids and linear logic (Q5096259): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Atomic toposes
@@ Property / cites work: Atomic toposes / rank @@
+Normal rank
@@ Property / cites work @@
+Q4160405
@@ Property / cites work: Q4160405 / rank @@
+Normal rank
@@ Property / cites work @@
+Some spectra relative to functors
@@ Property / cites work: Some spectra relative to functors / rank @@
+Normal rank
@@ Property / cites work @@
+The system \({\mathcal F}\) of variable types, fifteen years later
+Normal rank
@@ Property / cites work @@
+Linear logic
@@ Property / cites work: Linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q3791120
@@ Property / cites work: Q3791120 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5752573
@@ Property / cites work: Q5752573 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3752561
@@ Property / cites work: Q3752561 / rank @@
+Normal rank
@@ Property / cites work @@
+The linear abstract machine
@@ Property / cites work: The linear abstract machine / rank @@
+Normal rank
@@ Property / cites work @@
+Q4723932
@@ Property / cites work: Q4723932 / rank @@
+Normal rank