Searching protocol for "observational-type-theory"
Curated resources for color logic & higher type theory.