The following pages link to (Q4364384):
Displayed 7 items.
- Skew confluence and the lambda calculus with letrec (Q1849854) (← links)
- The algebra of recursive graph transformation language UnCAL: complete axiomatisation and iteration categorical semantics (Q3130301) (← links)
- Term-Graph Rewriting Via Explicit Paths (Q3522007) (← links)
- Semantics of value recursion for Monadic Input/Output (Q4787832) (← links)
- (Q5021233) (← links)
- Deciding inclusion of set constants over infinite non-strict data structures (Q5441550) (← links)
- A logical framework with higher-order rational (circular) terms (Q6091181) (← links)