Functorial Semantics for Program Logics
Filippo Bonchi
Mon Mar 9, 22:30-23:30 (7 months ago)
Mathematics
Audience: researchers in the topic
| Organizers: | Taylor Dupuy*, Alexander Rahm*, Christelle Vincent* |
| *contact for this listing |
Export talk to
