Results 71 to 80 of about 150 (91)
Some of the next articles are maybe not open access.
Predicativity and Constructive Mathematics
Boston Studies in the Philosophy and History of Science, 2021Laura Crosilla
exaly
Characterising Brouwer’s continuity by bar recursion on moduli of continuity
Archive for Mathematical Logic, 2020Makoto Fujiwara, Tatsuji Kawai
exaly
Constructive mathematics: a foundation for computable analysis
Theoretical Computer Science, 1999Douglas S Bridges
exaly
Can Constructive Mathematics be Applied in Physics?
Journal of Philosophical Logic, 1999Bridges Douglas S, Douglas S Bridges
exaly
Against intuitionism: Constructive mathematics is part of classical mathematics
Journal of Philosophical Logic, 1983W W Tait
exaly
Alpha-Structural Induction and Recursion for the Lambda Calculus in Constructive Type Theory
Electronic Notes in Theoretical Computer Science, 2016Maribel Fernández +2 more
exaly
Parallelizations in Weihrauch Reducibility and Constructive Reverse Mathematics
Lecture Notes in Computer Science, 2020Makoto Fujiwara
exaly
Constructive Mathematics in St. Petersburg, Russia: A (Somewhat Subjective) View from Within
Studies in Universal Logic, 2016Vladik Kreinovich
exaly