![](/img/cover-not-exists.png)
Conservation and Uniform Normalization in Lambda Calculi with Erasing Reductions
Peter Møller Neergaard, Morten Heine SørensenVolume:
178
Year:
2002
Language:
english
Pages:
31
DOI:
10.1006/inco.2002.3153
File:
PDF, 230 KB
english, 2002