Foundations of Race Logic
Presented on November 9, 2020
Presenter: Harlan kringen
Presenter: Harlan kringen
Preview
Harlan Kringen discussed is work on defining race logic in terms of coinduction and coinductive data types in Agda.
Harlan Kringen discussed is work on defining race logic in terms of coinduction and coinductive data types in Agda.