Fábio Reis

Publication Activity (10 Years)

Years Active: 2022-2022
Publications (10 Years): 2

Top Topics

Piecewise Linear

Top Venues

Publications

Fábio Reis, Sandra Alves, Mário Florido
Linear Rank Intersection Types. TYPES (2022)
Fábio Reis, Sandra Alves, Mário Florido
Linear Rank Intersection Types. CoRR (2022)