Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
AnHonestComment
on June 24, 2020
|
parent
|
context
|
favorite
| on:
Mathematics in type theory
The point is that it’s like mathematics in set theory.
Type theory is an alternative foundation.
Consider applying for YC's Winter 2026 batch! Applications are open till Nov 10
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search:
Type theory is an alternative foundation.