Pages that link to "Item:Q2811330"
From MaRDI portal
The following pages link to Guarded Dependent Type Theory with Coinductive Types (Q2811330):
Displaying 16 items.
- Lewis meets Brouwer: constructive strict implication (Q1688950) (← links)
- A model of guarded recursion via generalised equilogical spaces (Q1704599) (← links)
- Adjoint reactive GUI programming (Q2233414) (← links)
- Temporal refinements for guarded recursive types (Q2233479) (← links)
- Guarded cubical type theory (Q2319985) (← links)
- Formalizing CCS and \(\pi\)-calculus in Guarded Cubical Agda (Q2683037) (← links)
- Guarded Dependent Type Theory with Coinductive Types (Q2811330) (← links)
- The Guarded Lambda-Calculus: Programming and Reasoning with Guarded Recursion for Coinductive Types (Q2974778) (← links)
- A Light Modality for Recursion (Q2988388) (← links)
- Denotational semantics of recursive types in synthetic guarded domain theory (Q4623133) (← links)
- (Q5089035) (← links)
- Denotational semantics for guarded dependent type theory (Q5139284) (← links)
- Modal dependent type theory and dependent right adjoints (Q5220184) (← links)
- Coinduction in Flow: The Later Modality in Fibrations (Q5875348) (← links)
- Transpension: the right adjoint to the Pi-type (Q6563063) (← links)
- Greatest HITs: higher inductive types in coinductive definitions via induction under clocks (Q6649477) (← links)
