Uniform Heyting arithmetic
extension of Heyting arithmetic in finite types
scientific article; zbMATH DE number 2160244
scientific article