There is *massive* correspondence between the two and that research is a dominat...

tel on July 18, 2014 | parent | context | favorite | on: Programming is not math

There is massive correspondence between the two and that research is a dominating theme in branches of intuitionistic logic and type theory!