Pages that link to "Item:Q1127535"

The following pages link to A decidable canonical representation of the compact elements in Scott's reflexive domain in \(P\omega\) (Q1127535):

Displaying 2 items.

• Fully abstract submodels of typed lambda calculi (Q1095880) (← links)
• From computation to foundations via functions and application: The \(\lambda\)-calculus and its webbed models (Q1583485) (← links)