Implementing finite structures in Mathematica via a skeletal topos of finite sets

S. Niefield
DOI: https://doi.org/10.1016/S0747-7171(02)00105-0
IF: 0.97
2003-02-01
Journal of Symbolic Computation
Abstract:
What problem does this paper attempt to address?