Paolo Capriotti's blog
Type theory, category theory, functional programming
Blog
Archive
About
Category: algebraic geometry
2022
Understanding Rabinowitsch's trick
Oct
21
2022