Categorical semantics of functional type theory with explicit substitutions
Primary LanguageAgdaApache License 2.0Apache-2.0