Questions tagged [realizability]
The idea of realizability is a way of making the Brouwer-Heyting-Kolmogorov interpretation of constructivism and intuitionistic mathematics precise. It is related to the propositions as types paradigm. (from nLab)
0
questions with bounties
No questions found. Perhaps you'd like to select a different tab?