Pages that link to "Item:Q5145323"
From MaRDI portal
The following pages link to A Generalized Modality for Recursion (Q5145323):
Displaying 9 items.
- Generic recursive lens combinators and their calculation laws (Q2123055) (← links)
- Temporal refinements for guarded recursive types (Q2233479) (← links)
- Time warps, from algebra to algorithms (Q2695363) (← links)
- Abstract GSOS rules and a modular treatment of recursive definitions (Q2850841) (← links)
- (Q5119390) (← links)
- (Q5155672) (← links)
- Specification and verification of concurrent systems by causality and realizability (Q6049931) (← links)
- Modal FRP for all: Functional reactive programming without space leaks in Haskell (Q6099198) (← links)
- Deciding Equations in the Time Warp Algebra (Q6151556) (← links)