Explicit Substitutions and Reducibility
Herbelin, H.Volume:
11
Language:
english
Journal:
Journal of Logic and Computation
DOI:
10.1093/logcom/11.3.431
Date:
June, 2001
File:
PDF, 217 KB
english, 2001