HK
Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Top
New
Best
Ask
Show
Jobs
Request
Bar Induction Is Compatible with Constructive Type Theory [pdf] | Heykuki News
Bar Induction Is Compatible with Constructive Type Theory [pdf]
cs.cornell.edu
14 points
chx
7 years ago
No comments
Threaded
Loading comments...