Pages that link to "Item:Q3003482"
From MaRDI portal
The following pages link to Three Syntactic Theories for Combinatory Graph Reduction (Q3003482):
Displaying 4 items.
- On inter-deriving small-step and big-step semantics: a case study for storeless call-by-need evaluation (Q428886) (← links)
- On graph rewriting, reduction, and evaluation in the presence of cycles (Q526460) (← links)
- A template based graph reduction system based on combinators. (Q1848712) (← links)
- Syntactic theories in practice (Q2841251) (← links)