[PPT] - Type-theory of acyclic recursion and its calculi Roussanka Loukanova PowerPoint Presentation