Admissibility of Substitution for Multimode Type Theory - Joris Ceulemans

Round-11 hunt: picked; channel-level screens (sellers/exam/re-upload/devotional/vendor/events), provenance check and vendor/seller/devotional recheck passed; strict per-title check + final strict pass; oEmbed verified.

A 25-minute video from EuroProofNet WG6 meeting Leuven: “Admissibility of Substitution for Multimode Type Theory - Joris Ceulemans”.

Video by EuroProofNet WG6 meeting Leuven, played through YouTube's embedded player.