Linearization of the lambda-calculus and its relation with intersection type systems
FLORIDO, MÁRIO, DAMAS, LUÍSVolume:
14
Language:
english
Journal:
Journal of functional Programming
DOI:
10.1017/s0956796803004970
Date:
September, 2004
File:
PDF, 200 KB
english, 2004