Division by zero in type theory: a FAQ

skybrian
2020-07-07T01:47:47Z

Link URL: https://xenaproject.wordpress.com/2020/07/05/division-by-zero-in-type-theory-a-faq/

Comments URL: https://tildes.net/~science/qde/division_by_zero_in_type_theory_a_faq

Votes: 4

Comments: 0