3 ms·Single Module Lambda Calculus from Simply Typed to Martin Lof Type Theory3 points by birdculture 7mo ago