Polymorphic lambda calculus with context-free session types (Q2105433): Difference between revisions

@@ Property / author @@
-Bernardo F. Almeida
@@ Property / author: Bernardo F. Almeida / rank @@
-Normal rank
@@ Property / author @@
-Vasco Thudichum Vasconcelos
@@ Property / author: Vasco Thudichum Vasconcelos / rank @@
-Normal rank
@@ Property / author @@
+Bernardo F. Almeida
@@ Property / author: Bernardo F. Almeida / rank @@
+Normal rank
@@ Property / author @@
+Vasco Thudichum Vasconcelos
@@ Property / author: Vasco Thudichum Vasconcelos / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q114014307
@@ Property / Wikidata QID: Q114014307 / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Alms
@@ Property / describes a project that uses: Alms / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Lilac
@@ Property / describes a project that uses: Lilac / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+FreeST
@@ Property / describes a project that uses: FreeST / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W4289856072
@@ Property / OpenAlex ID: W4289856072 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3384912
@@ Property / cites work: Q3384912 / rank @@
+Normal rank
@@ Property / cites work @@
+Deciding the Bisimilarity of Context-Free Session Types
+Normal rank
@@ Property / cites work @@
+Using Higher-Order Contracts to Model Session Types (Extended Abstract)
+Normal rank
@@ Property / cites work @@
+Using higher-order contracts to model session types
+Normal rank
@@ Property / cites work @@
+Operational Properties of Lily, a Polymorphic Linear Lambda Calculus with Recursion
+Normal rank
@@ Property / cites work @@
+Typing Copyless Message Passing
@@ Property / cites work: Typing Copyless Message Passing / rank @@
+Normal rank
@@ Property / cites work @@
+Typing Copyless Message Passing
@@ Property / cites work: Typing Copyless Message Passing / rank @@
+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 @@
+Bisimulation equivalence is decidable for all context-free processes
+Normal rank
@@ Property / cites work @@
+Session types revisited
@@ Property / cites work: Session types revisited / rank @@
+Normal rank
@@ Property / cites work @@
+Nested session types
@@ Property / cites work: Nested session types / rank @@
+Normal rank
@@ Property / cites work @@
+Bounded polymorphism in session types
@@ Property / cites work: Bounded polymorphism in session types / rank @@
+Normal rank
@@ Property / cites work @@
+Modular session types for objects
@@ Property / cites work: Modular session types for objects / rank @@
+Normal rank
@@ Property / cites work @@
+Subtyping for session types in the pi calculus
@@ Property / cites work: Subtyping for session types in the pi calculus / 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 @@
+An extensible approach to session polymorphism
@@ Property / cites work: An extensible approach to session polymorphism / rank @@
+Normal rank
@@ Property / cites work @@
+Polarized Substructural Session Types
@@ Property / cites work: Polarized Substructural Session Types / rank @@
+Normal rank
@@ Property / cites work @@
+Practical Foundations for Programming Languages
@@ Property / cites work: Practical Foundations for Programming Languages / rank @@
+Normal rank
@@ Property / cites work @@
+Multiparty Asynchronous Session Types
@@ Property / cites work: Multiparty Asynchronous Session Types / rank @@
+Normal rank
@@ Property / cites work @@
+Characteristic formulae for session types
@@ Property / cites work: Characteristic formulae for session types / rank @@
+Normal rank
@@ Property / cites work @@
+Lilac: a functional programming language based on linear logic
+Normal rank
@@ Property / cites work @@
+A calculus of mobile processes. I
@@ Property / cites work: A calculus of mobile processes. I / rank @@
+Normal rank
@@ Property / cites work @@
+Context-Free Session Type Inference
@@ Property / cites work: Context-Free Session Type Inference / rank @@
+Normal rank
@@ Property / cites work @@
+Linear logical relations and observational equivalences for session-based concurrency
+Normal rank
@@ Property / cites work @@
+Q2778806
@@ Property / cites work: Q2778806 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4536990
@@ Property / cites work: Q4536990 / rank @@
+Normal rank
@@ Property / cites work @@
+Context-free session types
@@ Property / cites work: Context-free session types / rank @@
+Normal rank
@@ Property / cites work @@
+Practical affine types
@@ Property / cites work: Practical affine types / rank @@
+Normal rank
@@ Property / cites work @@
+Q4904221
@@ Property / cites work: Q4904221 / rank @@
+Normal rank
@@ Property / cites work @@
+Fundamentals of session types
@@ Property / cites work: Fundamentals of session types / rank @@
+Normal rank
@@ Property / cites work @@
+Type checking a multithreaded functional language with session types
+Normal rank
@@ Property / cites work @@
+CONCUR 2004 - Concurrency Theory
@@ Property / cites work: CONCUR 2004 - Concurrency Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Propositions as sessions
@@ Property / cites work: Propositions as sessions / rank @@
+Normal rank
@@ Property / cites work @@
+Propositions as sessions
@@ Property / cites work: Propositions as sessions / rank @@
+Normal rank
@@ Property / cites work @@
+Q5713333
@@ Property / cites work: Q5713333 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2105433