Iowa Type Theory Commute
Duplicating redexes as the central problem of optimal reduction
21 Jun 2020
Transcription
This episode hasn't been transcribed yet
Help us prioritize this episode for transcription by upvoting it.
0
upvotes
Popular episodes get transcribed faster
Other recent transcribed episodes
Transcribed and ready to explore now
13:00H | 21 DIC 2025 | Fin de Semana
01 Jan 1970
Fin de Semana
10:00H | 21 DIC 2025 | Fin de Semana
01 Jan 1970
Fin de Semana
12:00H | 20 DIC 2025 | Fin de Semana
01 Jan 1970
Fin de Semana
2ª PARTE | 06 ENE 2026 | EL PARTIDAZO DE COPE
01 Jan 1970
El Partidazo de COPE
3ª PARTE | 22 ENE 2026 | EL PARTIDAZO DE COPE
01 Jan 1970
El Partidazo de COPE
3ª PARTE | 04 MAR 2026 | EL PARTIDAZO DE COPE
01 Jan 1970
El Partidazo de COPE