652 search results - page 3 / 131 » Linear Explicit Substitutions |
WOLLIC
2010
Springer
13 years 5 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...
CIE
2008
Springer
13 years 9 months ago
2008
Springer
Having principal typings (for short PT) is an important property of type systems. This property guarantees the possibility of type deduction which means it is possible to develop a...
TLCA
2007
Springer
14 years 1 months ago
2007
Springer
RTA
1995
Springer
13 years 11 months ago
1995
Springer
CORR
2010
Springer
13 years 7 months ago
2010
Springer