Pages that link to "Item:Q4559601"
From MaRDI portal
The following pages link to Quotienting the delay monad by weak bisimilarity (Q4559601):
Displayed 6 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)
- Streams of approximations, equivalence of recursive effectful programs (Q6109211) (← links)
- A type system with subtyping for WebAssembly's stack polymorphism (Q6109484) (← links)