Complexity of strongly normalising λ-terms via non-idempotent intersection types

by Alexis Bernadet , Stéphane Lengrand
Citations:2 - 0 self