Decidable properties of intersection type systems

We give positive answers to the following decision problems for the intersection type system λΛ and its variations; (1) the type checking problem of normalizing terms for λΛ, (2) the inhabitation problem for the system λΛ without (ΛI)-rule, and (3) the same problem for a typed counterpart of λΛ (or...

Ausführliche Beschreibung

Bibliographische Detailangaben

Hauptverfasser:	Kurata, Toshihiko, Takahashi, Masako
Format:	Buchkapitel
Sprache:	eng
Schlagworte:	Formal Language Theory Inhabitation Problem Normal Type Terminal Symbol Type Assignment
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!