research
∙
06/11/2021
Nawrotzki's Algorithm for the Countable Splitting Lemma, Constructively
We reprove the countable splitting lemma by adapting Nawrotzki's algorit...
share
research
∙
02/21/2018
Proper Semirings and Proper Convex Functors
Esik and Maletti introduced the notion of a proper semiring and proved t...
research
∙
10/28/2017
