Type theory
Type Theory: GLOSSARYType theoristsType Theory: SUMMARYTERMS: Type Theorycurry-howard-correspondencedependent-typesHindley-Milner type-systemHomotopy type theoryIntuitionistic type theoryType TheoryType Theory : Topicstype-theoriestype-theory-general
Last updated
Was this helpful?