HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Fred Richman

Publications
Walker's Cancellation Theorem
Robert Lubarsky and Fred Richman
In:TACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic

Keyphrases

Abelian groups, Constructivism, diagram category, Kripke model.

Copyright © 2012-2025 easychair.org. All rights reserved.