Dependently Typed Higher-Order Logic | Publicación