Eliminating recursion in the my-calculus

Otto, Martin

Berlin ; Heidelberg ; New York : Springer (1999)
Contribution to a book, Contribution to a conference proceedings

In: Proceedings / STACS 99, 16th Annual Symposium on Theoretical Aspects of Computer Science, Trier, Germany, March 4 - 6, 1999 / Christoph Meinel ... (ed.)
Page(s)/Article-Nr.: 531-540