Acyclic Recursion with Polymorphic Types and Underpecification

Roussanka Loukanova

2016

Abstract

The paper extends Moschovakis higher-order type theory of acyclic recursion by adding type polymorphism. We extend the type system of the theory to model parametric information that pertains to underspecified types. Different kinds of type polymorphism are presented via type variables and recursion constructs for alternative, disjunctive type assignments. Based on the new type system, we extend the reduction calculus of the theory of acyclic recursion. We motivate the type polymorphism with examples from English language.

Paper Citation

in Harvard Style

Loukanova R. (2016). Acyclic Recursion with Polymorphic Types and Underpecification . In Proceedings of the 8th International Conference on Agents and Artificial Intelligence - Volume 2: ICAART, ISBN 978-989-758-172-4, pages 392-399. DOI: 10.5220/0005749003920399

in Bibtex Style

@conference{icaart16,
author={Roussanka Loukanova},
title={Acyclic Recursion with Polymorphic Types and Underpecification},
booktitle={Proceedings of the 8th International Conference on Agents and Artificial Intelligence - Volume 2: ICAART,},
year={2016},
pages={392-399},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0005749003920399},
isbn={978-989-758-172-4},
}

in EndNote Style

TY - CONF
JO - Proceedings of the 8th International Conference on Agents and Artificial Intelligence - Volume 2: ICAART,
TI - Acyclic Recursion with Polymorphic Types and Underpecification
SN - 978-989-758-172-4
AU - Loukanova R.
PY - 2016
SP - 392
EP - 399
DO - 10.5220/0005749003920399