Curry-style versus Church-style, and the nature of type annotations - a podcast by Aaron Stump

from 2021-01-31T22:10:42.023393

:: ::

Considering erased versus non-erased type annotations

Further episodes of Iowa Type Theory Commute

Further podcasts by Aaron Stump

Website of Aaron Stump