Pages that link to "Item:Q673628"

The following pages link to Proving properties of typed \(\lambda\)-terms using realizability, covers, and sheaves (Q673628):

Displaying 2 items.

• Typing untyped \(\lambda\)-terms, or reducibility strikes again! (Q1295368) (← links)
• Strong normalization for non-structural subtyping via saturated sets (Q1351999) (← links)