Parametrized fixed points and their applications to session types (Q2133474): Difference between revisions

@@ Property / DOI @@
-.1016/j.entcs.2020.09.008
@@ Property / DOI: 10.1016/j.entcs.2020.09.008 / 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.entcs.2020.09.008
+Normal rank
@@ Property / OpenAlex ID @@
+W3094515843
@@ Property / OpenAlex ID: W3094515843 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q113317300
@@ Property / Wikidata QID: Q113317300 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4857386
@@ Property / cites work: Q4857386 / rank @@
+Normal rank
@@ Property / cites work @@
+Observed Communication Semantics for Classical Processes
+Normal rank
@@ Property / cites work @@
+Programming languages and their definition. Selected papers ed. by C. B. Jones
+Normal rank
@@ Property / cites work @@
+Traced Premonoidal Categories
@@ Property / cites work: Traced Premonoidal Categories / rank @@
+Normal rank
@@ Property / cites work @@
+Q4474834
@@ Property / cites work: Q4474834 / rank @@
+Normal rank
@@ Property / cites work @@
+Fixed-point operations on ccc's. I
@@ Property / cites work: Fixed-point operations on ccc's. I / rank @@
+Normal rank
@@ Property / cites work @@
+Q5287508
@@ Property / cites work: Q5287508 / rank @@
+Normal rank
@@ Property / cites work @@
+SOME EQUATIONAL LAWS OF INITIALITY IN 2CCC’S
@@ Property / cites work: SOME EQUATIONAL LAWS OF INITIALITY IN 2CCC’S / rank @@
+Normal rank
@@ Property / cites work @@
+Session Types as Intuitionistic Linear Propositions
+Normal rank
@@ Property / cites work @@
+Categories for Types
@@ Property / cites work: Categories for Types / rank @@
+Normal rank
@@ Property / cites work @@
+Q3978971
@@ Property / cites work: Q3978971 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3138538
@@ Property / cites work: Q3138538 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4288818
@@ Property / cites work: Q4288818 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4936346
@@ Property / cites work: Q4936346 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4937113
@@ Property / cites work: Q4937113 / rank @@
+Normal rank
@@ Property / cites work @@
+Traced monoidal categories
@@ Property / cites work: Traced monoidal categories / rank @@
+Normal rank
@@ Property / cites work @@
+Q4054644
@@ Property / cites work: Q4054644 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4100671
@@ Property / cites work: Q4100671 / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic specification of data types: A synthetic approach
+Normal rank
@@ Property / cites work @@
+Notions of computation and monads
@@ Property / cites work: Notions of computation and monads / rank @@
+Normal rank
@@ Property / cites work @@
+Q2829627
@@ Property / cites work: Q2829627 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5666704
@@ Property / cites work: Q5666704 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5649639
@@ Property / cites work: Q5649639 / rank @@
+Normal rank
@@ Property / cites work @@
+The Category-Theoretic Solution of Recursive Domain Equations
+Normal rank
@@ Property / cites work @@
+Propositions as sessions
@@ Property / cites work: Propositions as sessions / rank @@
+Normal rank
@@ Property / DOI @@
+.1016/J.ENTCS.2020.09.008
@@ Property / DOI: 10.1016/J.ENTCS.2020.09.008 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2133474