Authors

Subscribe:.rss.atom.json.md

Publishes 1 feed

• Iowa Type Theory Commute

  Aaron Stump talks about type theory, computational logic, and related topics in Computer Science on his short commute.

  11 posts · theirs

Lately

• A Fireball of Alpha

  Iowa Type Theory Commute · 2026-08-21

• Solving Quadratic Word Equations

  Iowa Type Theory Commute · 2026-08-11

• A little bit about word equations

  Iowa Type Theory Commute · 2026-08-03

• Coercive subtyping and coherence

  Iowa Type Theory Commute · 2026-07-01

• A Strange Deal, Explained

  Iowa Type Theory Commute · 2026-05-07

• A Strange Deal

  Iowa Type Theory Commute · 2026-05-01

• Great paper: The Calculated Typer

  Iowa Type Theory Commute · 2026-04-20

• Double-negation translations and CPS conversion, part 2

  Iowa Type Theory Commute · 2026-04-02

• Double-negation translations and CPS conversion, part 1

  Iowa Type Theory Commute · 2026-03-31

• What are commuting conversions in proof theory?

  Iowa Type Theory Commute · 2026-03-03

• What is Control Flow Analysis for Lambda Calculus?

  Iowa Type Theory Commute · 2026-01-16

Everything on this page was read from markup Aaron Stump published — a rel="me" link, an h-card, or the feed’s own author element. Nothing was inferred from anywhere else. To correct or remove it, get in touch. Machine-readable: JSON