Ben Kavanagh, James Cheney. αν calculus. In Franz Baader, Barbara Morawska 0001, Jan Otop, editors, Proceedings of the 25th International Workshop on Unification, UNIF 2011, Wroclaw, Poland, July 31, 2011. pages 42-51, 2011. [doi]
Abstract is missing.