Normalization by evaluation with typed abstract syntax.
Saved in:
| Title: | Normalization by evaluation with typed abstract syntax. |
|---|---|
| Authors: | DANVY, OLIVIER1, RHIGER, MORTEN1, ROSE, KRISTOFFER H.2 |
| Source: | Journal of Functional Programming. Nov2001, Vol. 11 Issue 6, p673-680. 8p. |
| Database: | Mathematics Source |
Be the first to leave a comment!
