HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Ariel Kellison

Publications
On Expanding Standard Notions of Constructivity
Liron Cohen and Ariel Kellison
EasyChair Preprint 189

Keyphrases

computability, Free choice sequences, geometry, Intuitionistic mathematics, Nuprl, projective plane, type theory.

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