Skip to content
Sign in
Artwork for Iowa Type Theory Commute
Iowa Type Theory Commute · July 1 · 20 min

Coercive subtyping and coherence

In this episode, I give further arguments in favor of coercive subtyping from a software-engineering perspective. I also explain the critical concept of coherence.

0:00-20:30
Play in

transcript

No transcript — this publisher did not publish one.

show notes

In this episode, I give further arguments in favor of coercive subtyping from a software-engineering perspective.  I also explain the critical concept of coherence.

more episodes

All episodes