# Type-Theory of Acyclic Algorithms with Generalised Immediate Terms

### Roussanka Loukanova

#### Abstract

The paper extends the higher-order, type-theory Lλ ar of acyclic algorithms by classifying some explicit terms as generalised immediate terms. We introduce a restricted, specialised iβ-rule and reduction of generalised immediate terms to their iβ-canonical forms. Then, we incorporate the iβ-rule in the reduction calculus of Lλ ar. The new reduction calculus provides more efficient algoritms for computation of values of terms, by using iterative calculations.

Download#### Paper Citation

#### in Harvard Style

Loukanova R. (2019). **Type-Theory of Acyclic Algorithms with Generalised Immediate Terms**.In *Proceedings of the 11th International Conference on Agents and Artificial Intelligence - Volume 2: ICAART,* ISBN 978-989-758-350-6, pages 746-754. DOI: 10.5220/0007410207460754

#### in Bibtex Style

@conference{icaart19,

author={Roussanka Loukanova},

title={Type-Theory of Acyclic Algorithms with Generalised Immediate Terms},

booktitle={Proceedings of the 11th International Conference on Agents and Artificial Intelligence - Volume 2: ICAART,},

year={2019},

pages={746-754},

publisher={SciTePress},

organization={INSTICC},

doi={10.5220/0007410207460754},

isbn={978-989-758-350-6},

}

#### in EndNote Style

TY - CONF

JO - Proceedings of the 11th International Conference on Agents and Artificial Intelligence - Volume 2: ICAART,

TI - Type-Theory of Acyclic Algorithms with Generalised Immediate Terms

SN - 978-989-758-350-6

AU - Loukanova R.

PY - 2019

SP - 746

EP - 754

DO - 10.5220/0007410207460754