Orthologic Type Systems

Simon Guilloud, Viktor Kunčak

We propose to use orthologic as the basis for designing type systems supporting intersection, union, and negation types in the presence of subtyping assumptions. We show how to ext…