scientific article; zbMATH DE number 7566064
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
Title of this publication is not available (Why is that?)
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?)
- Least and Greatest Fixed Points in Linear Logic
- μ-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
- Title not available (Why is that?)
Cited In (1)
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5094136)
