Publication

A Mechanized Theory of the Box Calculus