Player FM - Internet Radio Done Right
17 subscribers
Checked 18d ago
Adicionado há quatro anos atrás
Conteúdo fornecido por Aaron Stump. Todo o conteúdo do podcast, incluindo episódios, gráficos e descrições de podcast, é carregado e fornecido diretamente por Aaron Stump ou por seu parceiro de plataforma de podcast. Se você acredita que alguém está usando seu trabalho protegido por direitos autorais sem sua permissão, siga o processo descrito aqui https://pt.player.fm/legal.
Player FM - Aplicativo de podcast
Fique off-line com o app Player FM !
Fique off-line com o app Player FM !
Iowa Type Theory Commute
Marcar/Desmarcar tudo como reproduzido ...
Manage series 2823367
Conteúdo fornecido por Aaron Stump. Todo o conteúdo do podcast, incluindo episódios, gráficos e descrições de podcast, é carregado e fornecido diretamente por Aaron Stump ou por seu parceiro de plataforma de podcast. Se você acredita que alguém está usando seu trabalho protegido por direitos autorais sem sua permissão, siga o processo descrito aqui https://pt.player.fm/legal.
Aaron Stump talks about type theory, computational logic, and related topics in Computer Science on his short commute.
…
continue reading
172 episódios
Marcar/Desmarcar tudo como reproduzido ...
Manage series 2823367
Conteúdo fornecido por Aaron Stump. Todo o conteúdo do podcast, incluindo episódios, gráficos e descrições de podcast, é carregado e fornecido diretamente por Aaron Stump ou por seu parceiro de plataforma de podcast. Se você acredita que alguém está usando seu trabalho protegido por direitos autorais sem sua permissão, siga o processo descrito aqui https://pt.player.fm/legal.
Aaron Stump talks about type theory, computational logic, and related topics in Computer Science on his short commute.
…
continue reading
172 episódios
Todos os episódios
×Bem vindo ao Player FM!
O Player FM procura na web por podcasts de alta qualidade para você curtir agora mesmo. É o melhor app de podcast e funciona no Android, iPhone e web. Inscreva-se para sincronizar as assinaturas entre os dispositivos.