2 ms·

The link you're looking for is curry howard correspondance