Pages that link to "Item:Q3540185"

The following pages link to A Characterisation of Lambda Definability with Sums Via ⊤ ⊤-Closure Operators (Q3540185):

Displaying 2 items.

• Relating Computational Effects by ⊤ ⊤-Lifting (Q3012918) (← links)
• Galois connecting call-by-value and call-by-name (Q6151562) (← links)