Towards a Box Calculus for Hierarchical Hume.
Gudmund Grov, Greg Michaelson · 2007
We present a first approach towards a calculus of transformations of Hume boxes, using an extended version of Hume called Hierarchical Hume. We present and motivate Hierachical Hume, transformations and the calculus and derive some rules and strategies. The approach is then illustrated through two examples. 1