top | new | best | ask | show | jobs

top | item 16186640

The type system of mathematics

3 points| primodemus | 8 years ago |qchu.wordpress.com

discuss

order

No comments yet.

powered by hn/api // news.ycombinator.com