Single Module Lambda Calculus from Simply Typed to Martin Lof Type Theory

(github.com)

2 points | by birdculture 5 hours ago ago

No comments yet.