Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Login
Top
New
Best
Ask
Show
Jobs
The type theory fire triangle: how to mix substitution, dependent elimination, a
dl.acm.org
2 points
fanf2
9 months ago
1 comment
Loading...
The type theory fire triangle: how to mix substitution, dependent elimination, a | Heykuki News