Greta Coraglia gave a talk on “Categorical models for subtyping” at the 108th Peripatetic Seminar on Sheaves and Logic [https://sites.google.com/view/beppemetere/pssl-108/], organized in Terrasini (Palermo) on September 16-17.
Greta Coraglia gave a talk on “Categorical models for subtyping” at the 108th Peripatetic Seminar on Sheaves and Logic [https://sites.google.com/view/beppemetere/pssl-108/], organized in Terrasini (Palermo) on September 16-17.