Login

u/pianoloverkid123456

r/TheDonaldTrump2024 r/BurkinaFaso r/Cotedivoire r/learnelectronics r/KoreanPhilosophy r/Eritrea r/princeton r/OhioStateFootball r/DiagramTheory r/notredame r/CategoryTheory r/IndianPhilosophy r/oxforduni
▲ 0 r/oxforduni

If Set Theory and Type theory are logically equivalent, why aren’t any PLs built out of pure set theory ?

If Set Theory and Type theory are logically equivalent, why aren’t any PLs built out of pure set theory ?

reddit.com
u/pianoloverkid123456 — 9 days ago