Title: Craig's interpolation theorem for the intuitionistic logic of constant domains
Subjects: Intuitionistic mathematics, Predicate calculus