Separation Logic 1

Iowa Type Theory Commute

English - July 25, 2022 03:00 - 13 minutes - 9.26 MB - ★★★★★ - 13 ratings
Technology Science Mathematics programming languages computational logic type theory proof assistants cedille Homepage Download Apple Podcasts Google Podcasts Overcast Castro Pocket Casts RSS feed

Previous Episode: Let's talk about Rust

Next Episode: Separation Logic II: recursive predicates

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.