145
Voted
LPAR
2010
Springer
15 years 20 days ago
2010
Springer
We present an explicitly typed lambda calculus "`a la Church" based on the union and intersection types discipline; this system is the counterpart of the standard type a...