~/eduardorfs-type-theory
"Insanely" dependent type theory. ~1y to grasp DTT, ~4y to push this edge.
~/normal-type-theory
Simply-typed and polymorphic lambda calculi. Types do not depend on terms.
no votes on this pair in this scope yet
post vote
you’ll log in, then return to this pair to cast your vote.