1997
Outermost-fair rewriting
Publication
Publication
Presented at the
International Conference on Typed Lambda Calculi and Applications, Nancy
| Additional Metadata | |
|---|---|
| Springer | |
| Lecture Notes in Computer Science | |
| International Conference on Typed Lambda Calculi and Applications | |
|
van Raamsdonk, F. (1997). Outermost-fair rewriting. In Typed Lambda Calculi and Applications (pp. 284–299). Springer. |
|