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