Linearity, Control Effects, and Behavioral Types (Q2988641): Difference between revisions

@@ Property / describes a project that uses @@
+Alms
@@ Property / describes a project that uses: Alms / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2594993942
@@ Property / OpenAlex ID: W2594993942 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q57652340
@@ Property / Wikidata QID: Q57652340 / rank @@
+Normal rank
@@ Property / cites work @@
+Logic Programming with Focusing Proofs in Linear Logic
+Normal rank
@@ Property / cites work @@
+Q4449226
@@ Property / cites work: Q4449226 / rank @@
+Normal rank
@@ Property / cites work @@
+Conflation Confers Concurrency
@@ Property / cites work: Conflation Confers Concurrency / rank @@
+Normal rank
@@ Property / cites work @@
+Computational types from a logical perspective
@@ Property / cites work: Computational types from a logical perspective / rank @@
+Normal rank
@@ Property / cites work @@
+Q4283230
@@ Property / cites work: Q4283230 / rank @@
+Normal rank
@@ Property / cites work @@
+On the expressiveness of internal mobility in name-passing calculi
+Normal rank
@@ Property / cites work @@
+Multiparty Session Types Within a Canonical Binary Theory, and Beyond
+Normal rank
@@ Property / cites work @@
+Behavioral Polymorphism and Parametricity in Session-Based Communication
+Normal rank
@@ Property / cites work @@
+Session Types as Intuitionistic Linear Propositions
+Normal rank
@@ Property / cites work @@
+Linear logic propositions as session types
@@ Property / cites work: Linear logic propositions as session types / rank @@
+Normal rank
@@ Property / cites work @@
+Global escape in multiparty sessions
@@ Property / cites work: Global escape in multiparty sessions / rank @@
+Normal rank
@@ Property / cites work @@
+Structured Interactional Exceptions in Session Types
+Normal rank
@@ Property / cites work @@
+Q4608685
@@ Property / cites work: Q4608685 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5357720
@@ Property / cites work: Q5357720 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4002146
@@ Property / cites work: Q4002146 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4721641
@@ Property / cites work: Q4721641 / rank @@
+Normal rank
@@ Property / cites work @@
+Practical interruptible conversations: distributed dynamic verification with multiparty session types and Python
+Normal rank
@@ Property / cites work @@
+Differential interaction nets
@@ Property / cites work: Differential interaction nets / rank @@
+Normal rank
@@ Property / cites work @@
+Linear forwarders
@@ Property / cites work: Linear forwarders / rank @@
+Normal rank
@@ Property / cites work @@
+Linear type theory for asynchronous session types
@@ Property / cites work: Linear type theory for asynchronous session types / rank @@
+Normal rank
@@ Property / cites work @@
+Superficially substructural types
@@ Property / cites work: Superficially substructural types / rank @@
+Normal rank
@@ Property / cites work @@
+Effects as sessions, sessions as effects
@@ Property / cites work: Effects as sessions, sessions as effects / rank @@
+Normal rank
@@ Property / cites work @@
+Q4255509
@@ Property / cites work: Q4255509 / rank @@
+Normal rank
@@ Property / cites work @@
+Linear Logical Relations for Session-Based Concurrency
+Normal rank
@@ Property / cites work @@
+A Powerdomain Construction
@@ Property / cites work: A Powerdomain Construction / rank @@
+Normal rank
@@ Property / cites work @@
+Q2734510
@@ Property / cites work: Q2734510 / rank @@
+Normal rank
@@ Property / cites work @@
+Proof-Carrying Code in a Session-Typed Process Calculus
+Normal rank
@@ Property / cites work @@
+Functions as Session-Typed Processes
@@ Property / cites work: Functions as Session-Typed Processes / rank @@
+Normal rank
@@ Property / cites work @@
+Higher-Order Processes, Functions, and Sessions: A Monadic Integration
+Normal rank
@@ Property / cites work @@
+Stateful Contracts for Affine Types
@@ Property / cites work: Stateful Contracts for Affine Types / rank @@
+Normal rank
@@ Property / cites work @@
+Practical affine types
@@ Property / cites work: Practical affine types / rank @@
+Normal rank
@@ Property / cites work @@
+Propositions as sessions
@@ Property / cites work: Propositions as sessions / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2988641