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

• Tipo: Artigo em Livro de Atas de Conferência Internacional
• Data: 2019

Autores

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

Ata de Conferência Internacional

Título: ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE

Páginas: 25-45

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

Fortaleza, BRAZIL, SEP 26-28, 2018

Indexação

ISI Web of Knowledge - 0 Citações

Scopus - 1 Citação

Outras Informações

ID Authenticus: 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.

Idioma: Inglês

Tipo (Avaliação Docente): Científica

Nº de páginas: 21