Iowa Type Theory Commute

Aaron Stump
cs.uiowa.edu/~astump
Fortnightly podcast. Next episode on Monday, August 31.
Aaron Stump talks about type theory, computational logic, and related topics in Computer Science on his short commute.
189 episodes  •  0 archived  •  
S7 E11
Solving Quadratic Word Equations
S7 E11·
August 11
August 11
22 mins
S7 E10
A little bit about word equations
S7 E10·
August 3
August 3
17 mins
S7 E9
Coercive subtyping and coherence
S7 E9·
July 1
July 1
20 mins
S7 E8
A Strange Deal, Explained
S7 E8·
May 7
May 7
8 mins
S7 E7
A Strange Deal
S7 E7·
May 1
May 1
2 mins
S7 E6
Great paper: The Calculated Typer
S7 E6·
April 20
April 20
23 mins
S7 E3
What are commuting conversions in proof theory?
S7 E3·
March 3
March 3
22 mins
S7 E2
What is Control Flow Analysis for Lambda Calculus?
S7 E2·
January 16
January 16
19 mins