4 ms·
There is massive correspondence between the two and that research is a dominating theme in branches of intuitionistic logic and type theory!
by tel 12y ago
There is massive correspondence between the two and that research is a dominating theme in branches of intuitionistic logic and type theory!