Post
Yohan John @dryohanjohn · May 5, 2023
  • From Twitter

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'

Recommended by 1 person
1 mention
Share on Twitter Repost
Replies
Reply
No replies yet