Pages that link to "Item:Q5271058"
From MaRDI portal
The following pages link to Intensional Type Theory with Guarded Recursive Types qua Fixed Points on Universes (Q5271058):
Displaying 12 items.
- Lewis meets Brouwer: constructive strict implication (Q1688950) (← links)
- Guarded cubical type theory (Q2319985) (← links)
- Guarded Dependent Type Theory with Coinductive Types (Q2811330) (← links)
- Denotational semantics of recursive types in synthetic guarded domain theory (Q4623133) (← links)
- (Q4993353) (← links)
- (Q5094136) (← links)
- (Q5119390) (← links)
- Modal dependent type theory and dependent right adjoints (Q5220184) (← links)
- Constructive Modalities with Provability Smack (Q5255796) (← links)
- Coinduction in Flow: The Later Modality in Fibrations (Q5875348) (← links)
- A model of guarded recursion with clock synchronisation (Q5971393) (← links)
- A model of PCF in guarded type theory (Q5971407) (← links)
