5 ms·This is just about the best justification I have heard for type calculus.by Beltiras 5y agoThis is just about the best justification I have heard for type calculus.