The complexity of inhabitation with explicit intersection

  • Authors:
  • Jakob Rehof;Paweł Urzyczyn

  • Affiliations:
  • Department of Computer Science, Technical University of Dortmund, Germany;Institute of Informatics, University of Warsaw, Poland

  • Venue:
  • Logic and Program Semantics
  • Year:
  • 2012

Quantified Score

Hi-index 0.00

Visualization

Abstract

It is shown that the inhabitation problem for intersection types without the intersection introduction rule is Expspace-complete and that the further restriction without subtyping is Pspace-complete.