A static calculus of dependencies for the λ-cube

Proceedings Fifteenth Annual IEEE Symposium on Logic in Computer Science (Cat. No.99CB36332) ◽

10.1109/lics.2000.855775 ◽

2002 ◽

Author(s):

F. Prost

Download Full-text