Pages that link to "Item:Q4559601"
From MaRDI portal
The following pages link to Quotienting the delay monad by weak bisimilarity (Q4559601):
Displaying 7 items.
- The construction of set-truncated higher inductive types (Q2133178) (← links)
- Formalizing CCS and \(\pi\)-calculus in Guarded Cubical Agda (Q2683037) (← links)
- (Q4989403) (← links)
- The Scott model of PCF in univalent type theory (Q5055497) (← links)
- Greatest HITs: higher inductive types in coinductive definitions via induction under clocks (Q6649477) (← links)
- Two guarded recursive powerdomains for applicative simulation (Q6653758) (← links)
- Inductive and coinductive predicate liftings for effectful programs (Q6653761) (← links)
