The following pages link to Standard and Normal Reductions (Q4177543):
Displayed 4 items.
- Intersection types for combinatory logic (Q1199823) (← links)
- Combinatory reduction systems: Introduction and survey (Q1314356) (← links)
- Combinatory abstraction using \({\mathbf B}\), \({\mathbf B}^ \prime\) and friends (Q1346635) (← links)
- Reductions of Residuals are Finite (Q4168908) (← links)