Roussanka Loukanova. Algorithmic Semantics of Ambiguous Modifiers with the Type Theory of Acyclic Recursion. In 2012 IEEE/WIC/ACM International Conferences on Web Intelligence and Intelligent Agent Technology, Macau, China, December 4-7, 2012. pages 117-121, IEEE Computer Society, 2012. [doi]
Abstract is missing.