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)
References:
nLab
About
Stats
|
created |
2 years, 3 months ago |
|
viewed |
6 times |
|
active |
2 years, 3 months ago |
|
editors |
1 |
