Pages that link to "Item:Q5432345"

The following pages link to Simple Proofs of Characterizing Strong Normalization for Explicit Substitution Calculi (Q5432345):

Displaying 2 items.

• Intersection Types for the Resource Control Lambda Calculi (Q3105748) (← links)
• Characterising Strongly Normalising Intuitionistic Sequent Terms (Q3499751) (← links)