Division by zero in type theory: a FAQ

Buzzard, Kevin, Division by zero in type theory: Division by zero in type theory: a FAQ, Xena, 2020.

web page · https://xenaproject.wordpress.com/2020/07/05/division-by-zero-in-type-theory-a-faq/