Joy of Computing
A new link every weekday from the
RC
community
A new link every weekday from the RC community
home
about
subscribe
RC
home
about
log in
Subscribe
Atom feed
Recurse Center
log in
Friday, Jan 4
Existential Quantification in Type Theory
made and submitted by
dk
An outline of how to think about the existential quantifier as it is encoded in higher order type theory.
—
dk