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