Explicit substitution calculi with de Bruijn indices and intersection type systems
Ventura, D. L., Kamareddine, F., Ayala-Rincon, M.Volume:
23
Language:
english
Journal:
Logic Journal of IGPL
DOI:
10.1093/jigpal/jzu044
Date:
April, 2015
File:
PDF, 1.02 MB
english, 2015