Loading paper
Hemiring-valued pseudonormed rings | Tomesphere