Iowa Type Theory Commute Author: Aaron Stump Aaron Stump talks about type theory, computational logic, and related topics in Computer Science on his short commute. Be a guest on this podcast Language: en-us Genres: Mathematics, Science, Technology Contact email: Get it Feed URL: Get it iTunes ID: Get it Get all podcast data

Listen Now...

Begin Chapter on Simple Type Theory
Episode 1
Friday, 19 April, 2024

In this episode, after a pretty long hiatus, I start a new chapter on simply typed lambda calculus.  I present the typing rules and give some basic examples.  Subsequent episodes will discuss various interesting nuances...

We also recommend:

blkprodz

Less Than or Equal
Relay FM

This Godless Life
This Godless Life

Hipster & Hack
Silicon Allee

TechRepublic's Business Technology Weekly
Jason Hiner, Bill Detwiler and the TechRepublic team

Introduction to the Internet of Everything (I2IoE) Summary
netacad-ioepodcast@cisco.com

Techtasm
Robin Yellow

De Energie Gasten
De Energie Gasten

Playapod: Best Podcasting App
Playapod

Disco Night: A Star Trek Discovery Podcast
Disco Night

Radio startUP
Radio startUP

TheJeggernaut