Curry-Howard Correspondence isn't part of Pantheon yet. Add them, and we'll research and write up their story — their contributions, who shaped them, and who they went on to shape.
Sign in to add Curry-Howard Correspondence to Pantheon.