TYPES2025 - 1.14. Sean Watters - Rational Codata as Syntax with Binding

Round-16 hunt: picked; source: named-course long-video search (r16 wave 4); channel screens (sellers/exam/re-upload/devotional/vendor/events), provenance check, vendor/seller/devotional recheck and quality tier A passed; strict per-title check + final strict pass; oEmbed verified.

A 14-minute video from MSP — Strathclyde: “TYPES2025 - 1.14. Sean Watters - Rational Codata as Syntax with Binding”.

Video by MSP — Strathclyde, played through YouTube's embedded player.