2 search results - page 1 / 1 » Principal Typings in a Restricted Intersection Type System f... |
CORR
2009
Springer
13 years 2 months ago
2009
Springer
WOLLIC
2010
Springer
13 years 3 months ago
2010
Springer
Abstract. The λ-calculus with de Bruijn indices, called λdB, assembles each α-class of λ-terms into a unique term, using indices instead of variable names. Intersection types p...