On Strong Normalization in the Intersection Type Discipline (Extended Abstract)

Cached

Download Links

by Gérard Boudol
Citations:9 - 1 self