652 search results - page 3 / 131 » Linear Explicit Substitutions |
113
Voted
WOLLIC
2010
Springer
14 years 10 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
15 years 1 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
15 years 5 months ago
2007
Springer
RTA
1995
Springer
15 years 3 months ago
1995
Springer
CORR
2010
Springer
14 years 11 months ago
2010
Springer