Papers We Love NYC: "Propositions As Types" By Philip Wadler

25ee17e694c4590abcc3c1e3c628724b?s=47 Michael Bernstein
August 20, 2015
1.2k

Papers We Love NYC: "Propositions As Types" By Philip Wadler

25ee17e694c4590abcc3c1e3c628724b?s=128

Michael Bernstein

August 20, 2015
Tweet