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. Typed Lambda Calculi and Applications, 284–299. |
|