scientific article; zbMATH DE number 7566064
From MaRDI portal
Publication:5094136
Farzaneh Derakhshan, Frank Pfenning
Publication date: 2 August 2022
Full work available at URL: https://arxiv.org/abs/1908.01909
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
progressfixed pointslinear logicsubstructural logicterminationsession typescircular proofssubsingleton logic
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Realizability in cyclic proof: extracting ordering information for infinite descent
- From Parity Games to Circular Proofs
- Polarized Substructural Session Types
- Talking bananas: structural recursion for session types
- Substructural Proofs as Automata
- Session Types as Intuitionistic Linear Propositions
- μ-Bicomplete Categories and Parity Games
- Around Classical and Intuitionistic Linear Logics
- Propositions as sessions
- Linear type theory for asynchronous session types
- Intensional Type Theory with Guarded Recursive Types qua Fixed Points on Universes
- Higher-Order Processes, Functions, and Sessions: A Monadic Integration
- Well-founded recursion with copatterns and sized types
- Linear logic propositions as session types
- Least and Greatest Fixed Points in Linear Logic
- Free \(\mu\)-lattices
