Type-Theory of Acyclic Algorithms with Generalised Immediate Terms

Roussanka Loukanova. Type-Theory of Acyclic Algorithms with Generalised Immediate Terms. In Ana Paula Rocha 0001, Luc Steels, Jaap van den Herik, editors, Proceedings of the 11th International Conference on Agents and Artificial Intelligence, ICAART 2019, Volume 2, Prague, Czech Republic, February 19-21, 2019. pages 746-754, SciTePress, 2019. [doi]

Abstract

Abstract is missing.