Semantic Information with Type Theory of Acyclic Recursion

摘要

The paper provides introduction into the language, semantics, and the reduction calculus of acyclic recursion. The expressiveness of the theory for conveying semantic information, relevant for applications in active media technologies, is demonstrated by representing naming information.