Propositional Type Theory of Indeterminacy | Publicación