Pages that link to "Item:Q2948556"
From MaRDI portal
The following pages link to Sequent Calculus in the Topos of Trees (Q2948556):
Displaying 6 items.
- Lewis meets Brouwer: constructive strict implication (Q1688950) (← links)
- The Guarded Lambda-Calculus: Programming and Reasoning with Guarded Recursion for Coinductive Types (Q2974778) (← links)
- Frame Definability for Classes of Trees in the μ-calculus (Q3586099) (← links)
- (Q4825687) (← links)
- A multi-labelled sequent calculus for Topo-Logic (Q5112652) (← links)
- Coinduction in Flow: The Later Modality in Fibrations (Q5875348) (← links)