Pre-grammars and Inhabitation for a Subset of Rank 2 Intersection Types

• Type: Article in International Conference Proceedings Book
• Date: 2019

Authors

Sandra Alves (Author) FCUP; Broda, S (Author) FCUP

Conference proceedings International

Title: ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE

Pages: 25-45

13th Workshop on Logical and Semantic Frameworks with Applications (LSFA)

Fortaleza, BRAZIL, SEP 26-28, 2018

Indexing

ISI Web of Knowledge - 0 Citations

Scopus - 1 Citation

Other information

Authenticus ID: P-00R-0XE

DOI: 10.1016/j.entcs.2019.07.003

Abstract (EN): In this paper, we identify a subset of types in the rank 2 intersection type system, where types do not contain positive occurrences of intersections. We extend the notion of pre-grammar of a type and address the type-inhabitation problem for types in this subset, as well as their intersections.

Language: English

Type (Professor's evaluation): Scientific

No. of pages: 21