Proof-relevance in Bishop-style constructive mathematics
Article in Mathematical Structures in Computer Science (January 2022)
The most recent citing publications are shown below. View all 7 publications that cite this research output on Dimensions.
Does Choice Really Imply Excluded Middle? Part II: Historical, Philosophical, and Foundational Reflections on the Goodman–Myhill Result†
Article in Philosophia Mathematica (April 2020)
From Sets and Types to Topology and Analysis
Book (October 2005)