‹ All episodes

Iowa Type Theory Commute

Separation Logic 1

July 24, 2022 Aaron Stump Season 3 Episode 34
Separation Logic 1
Iowa Type Theory Commute
More Info
Iowa Type Theory Commute
Separation Logic 1
Jul 24, 2022 Season 3 Episode 34
Aaron Stump

I discuss separation logic, as presented in this seminal paper by the great John C. Reynolds.  I did not go very far into the topic, so please expect a follow-up episode.

Apple Podcasts Overcast Castro Castbox Pocket Casts Goodpods +
Show Notes

I discuss separation logic, as presented in this seminal paper by the great John C. Reynolds.  I did not go very far into the topic, so please expect a follow-up episode.