![](/img/cover-not-exists.png)
Point axioms and related conditions in Dedekind categories
Furusawa, Hitoshi, Kawahara, YasuoVolume:
84
Language:
english
Journal:
Journal of Logical and Algebraic Methods in Programming
DOI:
10.1016/j.jlamp.2014.12.003
Date:
May, 2015
File:
PDF, 377 KB
english, 2015