Publications

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

AuthID
P-00R-0XE

Author(s)

Alves, S

Broda, S

Editor(s)

Beniamino Accattoli; Carlos Olarte

Document Type

Proceedings Paper

Year published

2019

Published

in ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE in Electronic Notes in Theoretical Computer Science, ISSN: 1571-0661

Volume: 344, Pages: 25-45 (21)

Conference

13Th Workshop on Logical and Semantic Frameworks with Applications (Lsfa), Date: SEP 26-28, 2018, Location: Fortaleza, BRAZIL, Sponsors: Univ Fed Ceara, Univ Fed Ceara, Postgraduate Program Comp Sci, Brazilian Log Soc, Div Log Methodol & Philosophy Sci & Technol

Indexing