4 ms·I suggest starting by looking up the Curry-Howard isomorphism.by guerrilla 6y agoI suggest starting by looking up the Curry-Howard isomorphism.