Implementing finite structures in Mathematica via a skeletal topos of finite sets.
From MaRDI portal
Publication:1426136
DOI10.1016/S0747-7171(02)00105-0zbMath1159.68679MaRDI QIDQ1426136
Publication date: 14 March 2004
Published in: Journal of Symbolic Computation (Search for Journal in Brave)
Related Items
Uses Software
Cites Work