Spahn
type theory
References
internal type theory and nonstandard type theory