4 citations · 4 across the 6 of their papers we have counts for
Showing cs.LOShow all
3 papers · 1 filter
cs.LO2026
Linearising Explicit Substitutions using Intersection Types
Ana Jorge Almeida, Sandra Alves, Mário Florido
Term expansion was originally introduced in 2004 as a way to relate terms typed in an intersection type system with linear terms. Recently, new applications of term expansion inclu…
cs.LO2022
Structural Rules and Algebraic Properties of Intersection Types
Sandra Alves, Mário Florido
In this paper we define several notions of term expansion, used to define terms with less sharing, but with the same computational properties of terms typable in an intersection ty…
cs.LO2019
A Three-Valued Semantics for Typed Logic Programming
João Barbosa, Mário Florido, Vítor Santos Costa
Types in logic programming have focused on conservative approximations of program semantics by regular types, on one hand, and on type systems based on a prescriptive semantics def…