Conor McBride. Elimination with a Motive. In Paul Callaghan, Zhaohui Luo, James McKinna, Robert Pollack, editors, Types for Proofs and Programs, International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000, Selected Papers. Volume 2277 of Lecture Notes in Computer Science, pages 197-216, Springer, 2000. [doi]
Abstract is missing.