Relating categorical semantics for intuitionistic linear logic (Q1781095): Difference between revisions

@@ Property / DOI @@
-.1007/s10485-004-3134-z
@@ Property / DOI: 10.1007/s10485-004-3134-z / rank @@
-Normal rank
@@ Property / author @@
-Q1781094
@@ Property / author: Q1781094 / rank @@
-Normal rank
@@ Property / author @@
+V. C. V. de Paiva
@@ Property / author: V. C. V. de Paiva / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q56994542
@@ Property / Wikidata QID: Q56994542 / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Automath
@@ Property / describes a project that uses: Automath / 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/s10485-004-3134-z
+Normal rank
@@ Property / OpenAlex ID @@
+W2006319938
@@ Property / OpenAlex ID: W2006319938 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3997112
@@ Property / cites work: Q3997112 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4474834
@@ Property / cites work: Q4474834 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4281466
@@ Property / cites work: Q4281466 / rank @@
+Normal rank
@@ Property / cites work @@
+A note on full intuitionistic linear logic
@@ Property / cites work: A note on full intuitionistic linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q3024825
@@ Property / cites work: Q3024825 / rank @@
+Normal rank
@@ Property / cites work @@
+Categories for Types
@@ Property / cites work: Categories for Types / rank @@
+Normal rank
@@ Property / cites work @@
+Linear explicit substitutions
@@ Property / cites work: Linear explicit substitutions / rank @@
+Normal rank
@@ Property / cites work @@
+Q3791120
@@ Property / cites work: Q3791120 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3994895
@@ Property / cites work: Q3994895 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4499228
@@ Property / cites work: Q4499228 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3934579
@@ Property / cites work: Q3934579 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4499227
@@ Property / cites work: Q4499227 / rank @@
+Normal rank
@@ Property / cites work @@
+The linear abstract machine
@@ Property / cites work: The linear abstract machine / rank @@
+Normal rank
@@ Property / cites work @@
+Q3727946
@@ Property / cites work: Q3727946 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5639839
@@ Property / cites work: Q5639839 / rank @@
+Normal rank
@@ Property / cites work @@
+An internal language for autonomous categories
@@ Property / cites work: An internal language for autonomous categories / rank @@
+Normal rank
@@ Property / cites work @@
+Q4508305
@@ Property / cites work: Q4508305 / rank @@
+Normal rank
@@ Property / cites work @@
+The formal theory of monads
@@ Property / cites work: The formal theory of monads / rank @@
+Normal rank
@@ Property / DOI @@
+.1007/S10485-004-3134-Z
@@ Property / DOI: 10.1007/S10485-004-3134-Z / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1781095