Semantic Information with Type Theory of Acyclic Recursion

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]

@inproceedings{Loukanova12,
  title = {Semantic Information with Type Theory of Acyclic Recursion},
  author = {Roussanka Loukanova},
  year = {2012},
  doi = {10.1007/978-3-642-35236-2_39},
  url = {http://dx.doi.org/10.1007/978-3-642-35236-2_39},
  researchr = {https://researchr.org/publication/Loukanova12},
  cites = {0},
  citedby = {0},
  pages = {387-398},
  booktitle = {Active Media Technology - 8th International Conference, AMT 2012, Macau, China, December 4-7, 2012. Proceedings},
  editor = {Runhe Huang and Ali A. Ghorbani and Gabriella Pasi and Takahira Yamaguchi and Neil Y. Yen and Beijing Jin},
  volume = {7669},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-35235-5},
}