Pages that link to "Item:Q5271058"

The following pages link to Intensional Type Theory with Guarded Recursive Types qua Fixed Points on Universes (Q5271058):

Displayed 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)