Birkhoff-like sheaf representation for varieties of lattice expansions. - Hector Gramaglia; Diego Vaggione (Stud Logica, 1996)

Weak-Linear Types. - Hector Gramaglia (CoRR, 2024)

Weak-linearity, globality and in-place update. - Hector Gramaglia (CoRR, 2024)

Globality and Regions. - Hector Gramaglia (CoRR, 2025)