The following pages link to (Q4268465):
Displayed 3 items.
- \(\lambda_{\beta'}\) -- a \(\lambda\)-calculus with a generalized \(\beta\)-reduction rule (Q1349744) (← links)
- Label-selective \(\lambda\)-calculus syntax and confluence (Q1350342) (← links)
- MBase: Representing knowledge and context for the integration of mathematical software systems (Q5950933) (← links)