The following pages link to (Q5144643):
Displayed 9 items.
- Temporal refinements for guarded recursive types (Q2233479) (← links)
- Denotational semantics of recursive types in synthetic guarded domain theory (Q4623133) (← links)
- (Q5089035) (← links)
- Denotational semantics for guarded dependent type theory (Q5139284) (← links)
- (Q5155672) (← links)
- Modal dependent type theory and dependent right adjoints (Q5220184) (← links)
- When programs have to watch paint dry (Q6070787) (← links)
- Modal FRP for all: Functional reactive programming without space leaks in Haskell (Q6099198) (← links)
- Streams of approximations, equivalence of recursive effectful programs (Q6109211) (← links)