Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Login
Top
New
Best
Ask
Show
Jobs
Single Module Lambda Calculus from Simply Typed to Martin Lof Type Theory
github.com/solomon-b
3 points
birdculture
2 months ago
No comment yet
Single Module Lambda Calculus from Simply Typed to Martin Lof Type Theory | Heykuki News