Simply-typed and polymorphic lambda calculi. Types do not depend on terms.
no voted pairs yet in this scope
npx slugsocial@latest public garden body ~/normal-type-theory