Mário Florido

1. Linearising Explicit Substitutions using Intersection Types
   2026/07/18 by Ana Jorge Almeida, Sandra Alves, Mário Florido
   Computer Science · #Logic, programming, and type systems #Logic, Reasoning, and Knowledge #Formal Methods in Verification