Geometric Type Theory, Done Two Ways | Hacker News - But Better

Geometric Type Theory, Done Two Ways topos.institute

A topos can be specified by the geometric theory that it classifies. Though the sequents of a theory are described formally and syntactically, its interaction with the world of sets (through set-indexed disjunctions…

4 points•measurablefunc•6 days ago•0 comments•

#theory #geometric #type #done #done two #type theory #geometric type #two ways

0 comments

No comments yet.

Related stories

Hoare Type Theory, Polymorphism and Separationynot.cs.harvard.edu
Lobsters · 8 points · about 9 years ago
Introductory resources to type theory for language implementershaskellforall.com
Lobsters · 12 points · over 4 years ago
Functional Decision Theory: A New Theory of Instrumental Rationality (2018)arxiv.org
Hacker News · 2 points · 3 days ago
Publications on Regality theory and cultural selection theoryagner.org
Hacker News · 2 points · 10 days ago
CIC + EM ⊢ Con(ZF)arxiv.org
Hacker News · 1 points · 8 days ago
Type Safe Printf via Type Providers (F#)blog.mavnn.co.uk
Lobsters · 7 points · over 12 years ago