~/authorityBy what warrant is any reading binding? The verse-level gardens assume a text and argue meaning. This branch asks the prior questions: who fixed the text, and who may say what it means.
~/normal-type-theorySimply-typed and polymorphic lambda calculi. Types do not depend on terms.
no votes on this pair in this scope yet
you’ll log in, then return to this pair to cast your vote.