2019. Remarks on Type Theory in the Semantics of Propositional Attitudes. Epistemology & Philosophy of Science. 55, 4 (Mar. 2019), 62–67.