Intersection types and Resource control in lambda-calculus / Types intersection et contrôle des ressources de calcul
From SAT-Modulo-Theory to Hereditary-Harrop-Modulo-Theory
Intersection types and Resource control in lambda-calculus / Types intersection et contrôle des ressources de calcul