The following pages link to (Q4208532):
Displayed 4 items.
- The Expression Lemma (Q3521989) (← links)
- A Calculus of Terms for Coalgebras of Polynomial Functors (Q4917037) (← links)
- A declarative framework for object-oriented programming with genetic inheritance (Q5958620) (← links)
- Rewriting logic as a semantic framework for concurrency: a progress report (Q6104381) (← links)