Pages that link to "Item:Q3173527"

The following pages link to A combinatory account of internal structure (Q3173527):

Displaying 3 items.

• Conflicting accounts of \(\lambda\)-definability (Q511925) (← links)
• Intensional computation with higher-order functions (Q1733061) (← links)
• Programs as data structures in \(\lambda\)SF-calculus (Q1744389) (← links)