List of Publications: Types
-
M. Avanzini and B. Felgenhauer. “Type Introduction for Runtime Complexity Analysis”. Proceedings of the 14th Workshop on Termination, 2014.
M. Avanzini and B. Felgenhauer. “Type Introduction for Runtime Complexity Analysis”. Proceedings of the 14th Workshop on Termination, 2014.