Polymorphic higher-order context-free session types

DOI10.1016/J.TCS.2024.114582MaRDI QIDQ6499549zbMATH OpenFDO

Authors Diana Costa, Andreia Mordido, Diogo Poças, Vasco T. Vasconcelos

Publication date 8 May 2024

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/J.TCS.2024.114582

zbMATH Keywords

bisimulationcontext-free session typeshigher-order session typespolymorphismtype equivalence

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Cites work

• A New Normal-Form Theorem for Context-Free Phrase Structure Grammars
• A polynomial algorithm for deciding bisimilarity of normed context-free processes
• An elementary bisimulation decision procedure for arbitrary context-free processes
• Behavioral polymorphism and parametricity in session-based communication
• Bisimulation equivalence is decidable for all context-free processes
• Bounded polymorphism in session types
• BPA bisimilarity is EXPTIME-hard
• Context-free session type inference
• Context-free session types
• Decidability of bisimulation equivalence for process generating context-free languages
• Deciding the bisimilarity of context-free session types
• Fundamental properties of infinite trees
• scientific article; zbMATH DE number 4035115 (Why is no real title available?)
• scientific article; zbMATH DE number 1760051 (Why is no real title available?)
• scientific article; zbMATH DE number 3400430 (Why is no real title available?)
• Nested session types
• Numbering matters
• Polymorphic lambda calculus with context-free session types
• Propositions as sessions
• Session types revisited
• Subtyping for session types in the pi calculus
• System F-omega with equirecursive types for datatype-generic programming
• Type inference with recursive types: Syntax and semantics
• Types and programing languages

Cited in

(1)

• Subtyping context-free session types

This page was built for publication: Polymorphic higher-order context-free session types

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6499549)