Eliminating recursion in the my-calculus
Otto, Martin
Berlin ; Heidelberg ; New York / Springer (1999) [Contribution to a book, Contribution to a conference proceedings]
Proceedings / STACS 99, 16th Annual Symposium on Theoretical Aspects of Computer Science, Trier, Germany, March 4 - 6, 1999 / Christoph Meinel ... (ed.)
Page(s): 531-540
Identifier
- REPORT NUMBER: RWTH-CONV-184610