chris martens on Nostr: nice TYPES talk by nprofile1q…gn8ju on connections between type theoretic and ...
nice TYPES talk by nprofile1qy2hwumn8ghj7un9d3shjtnddaehgu3wwp6kyqpqaa3gj7gcnc8v9d28qac8jhthr7hjchyxnydm0jmc4e8jqureggyscgn8ju (nprofile…n8ju) on connections between type theoretic and philosophical perspectives on logic! https://consequently.org/presentation/2025/type-theory-and-phil-logic-types/