Pages that link to "Item:Q1314361"

The following pages link to Set-theoretical and other elementary models of the \(\lambda\)-calculus (Q1314361):

Displaying 2 items.

• Comparing models of the intensional typed \(\lambda\)-calculus (Q671646) (← links)
• Uniqueness of Scott's reflexive domain in \(P\omega \) (Q672137) (← links)