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
Saturday, Feb 23
Type systems and logic
made by
trillionalyssa
, submitted by
jollysonali
A long form essay that shows the relationship between type systems and logic systems in type theory.
—
jollysonali