Pages that link to "Item:Q3173527"

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

Displaying 9 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)
• Self-quotation in a typed, intensional lambda-calculus (Q2130593) (← links)
• Expressiveness of concurrent intensionality (Q2193283) (← links)
• On the Expressiveness of Symmetric Communication (Q3179397) (← links)
• (Q4625694) (← links)
• (Q5013873) (← links)
• (Q5111316) (← links)