Conservation and Uniform Normalization in Lambda Calculi with Erasing Reductions
| Autor: | Neergaard, Peter Møller, Sørensen, Morten Heine |
|---|---|
| Zdroj: | In Information and Computation 2002 178(1):149-179 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|
| Autor: | Neergaard, Peter Møller, Sørensen, Morten Heine |
|---|---|
| Zdroj: | In Information and Computation 2002 178(1):149-179 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|
Full Text from ScienceDirect