C. Hermida;M. Makkai;J. Power
-;-;-
Hiproofs: A Hierarchical Notion of Proof Tree
Electronic Notes in Theoretical Computer Science (ENTCS)