Learning about HoTT brings one in contact with some very interesting, though technical, aspects of semantics. I highly recommend this paper by Per Martin-Löf: 'On the Meanings of the Logical Constants and the Justifications of the logical laws'