Post #944647
2026-04-02 09:14 UTC
This morning at the Chocola monthly seminar: "Intersection Type Galore" by Mariangiola Dezani
https://chocola.ens-lyon.fr/events/meeting-2026-04-02/talks/-1/
Seems to be quite close to her LICS 2020 invited talk
https://www.youtube.com/watch?v=sTjo5IfQhLg
which has an associated survey paper
https://iris.unito.it/bitstream/2318/1758049/1/bd.pdf
Replies (0)
No replies.