HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Ariel Kellison

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

Keyphrases

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

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