Pages that link to "Item:Q5971393"
From MaRDI portal
The following pages link to A model of guarded recursion with clock synchronisation (Q5971393):
Displaying 7 items.
- Lewis meets Brouwer: constructive strict implication (Q1688950) (← links)
- A model of guarded recursion via generalised equilogical spaces (Q1704599) (← links)
- Guarded cubical type theory (Q2319985) (← 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)
- Denotational semantics for guarded dependent type theory (Q5139284) (← links)
- (Q5155672) (← links)