Pages that link to "Item:Q5139284"

The following pages link to Denotational semantics for guarded dependent type theory (Q5139284):

Displaying 6 items.

• Temporal refinements for guarded recursive types (Q2233479) (← links)
• (Q5141620) (← links)
• Modal dependent type theory and dependent right adjoints (Q5220184) (← links)
• (Q6068934) (← 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)