Pages that link to "Item:Q1407502"

The following pages link to An elementary proof of strong normalization for intersection types (Q1407502):

Displaying 5 items.

• A domain model characterising strong normalisation (Q958484) (← links)
• A binary modal logic for the intersection types of lambda-calculus. (Q1427854) (← links)
• Strong normalization through intersection types and memory (Q1744407) (← links)
• A resource aware semantics for a focused intuitionistic calculus (Q4559602) (← links)
• (Q5076058) (← links)