Pages that link to "Item:Q1390880"

The following pages link to A syntactical proof of the operational equivalence of two \(\lambda\)-terms (Q1390880):

Displayed 1 item.

• From computation to foundations via functions and application: The \(\lambda\)-calculus and its webbed models (Q1583485) ‎ (← links)