Circular proofs as session-typed processes: a local validity condition
From MaRDI portal
Publication:5094136
Authors: Farzaneh Derakhshan, Frank Pfenning 
Publication date: 2 August 2022
Full work available at URL: https://arxiv.org/abs/1908.01909
Recommendations
- Local validity for circular proofs in linear logic with fixed points
- Bouncing threads for circular and non-wellfounded proofs. Towards compositionality with circular proofs
- Session types as intuitionistic linear propositions
- A new linear logic for deadlock-free session-typed processes
- scientific article; zbMATH DE number 6774227
progresssubstructural logicfixed pointslinear logicsession typesterminationcircular proofssubsingleton logic
Cites Work
- Title not available (Why is that?)
- Session types as intuitionistic linear propositions
- Linear type theory for asynchronous session types
- Title not available (Why is that?)
- Propositions as sessions
- Title not available (Why is that?)
- μ-Bicomplete Categories and Parity Games
- Free \(\mu\)-lattices
- Linear logic propositions as session types
- From parity games to circular proofs
- Title not available (Why is that?)
- Talking bananas: structural recursion for session types
- Intensional type theory with guarded recursive types qua fixed points on universes
- Realizability in cyclic proof: extracting ordering information for infinite descent
- Higher-order processes, functions, and sessions: a monadic integration
- Constructive completeness for the linear-time \(\mu \)-calculus
- Title not available (Why is that?)
- Infinitary proof theory: the multiplicative additive case
- Around classical and intuitionistic linear logics
- Well-founded recursion with copatterns and sized types
- Polarized Substructural Session Types
- Cut reduction in linear logic as asynchronous session-typed communication
- Title not available (Why is that?)
- Substructural proofs as automata
- Local validity for circular proofs in linear logic with fixed points
Cited In (3)
This page was built for publication: Circular proofs as session-typed processes: a local validity condition
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5094136)
