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. |