Pages that link to "Item:Q3003482"

The following pages link to Three Syntactic Theories for Combinatory Graph Reduction (Q3003482):

Displaying 2 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)