The Expansion Problem in Lambda Calculi with Explicit Substitution
Arbiser, A.Volume:
18
Language:
english
Journal:
Journal of Logic and Computation
DOI:
10.1093/logcom/exn007
Date:
October, 2008
File:
PDF, 310 KB
english, 2008