Kripke semantics for higher-order type theory applied to constraint logic programming languages | Publicación