Roussanka Loukanova. Semantic Information with Type Theory of Acyclic Recursion. In Runhe Huang, Ali A. Ghorbani, Gabriella Pasi, Takahira Yamaguchi, Neil Y. Yen, Beijing Jin, editors, Active Media Technology - 8th International Conference, AMT 2012, Macau, China, December 4-7, 2012. Proceedings. Volume 7669 of Lecture Notes in Computer Science, pages 387-398, Springer, 2012. [doi]
Abstract is missing.