Kripke applicative structure over a category
scientific article; zbMATH DE number 1757129