October 2026 Archives by thread

• Messages sorted by: [ subject ] [ author ] [ date ]
• More info on this list...

Starting: Mon Oct 5 10:46:13 BST 2026
Ending: Mon Oct 19 11:58:37 BST 2026
Messages: 2

• [msp-interest] [MSP101] Fredrik Nordvall Forsberg: Linear Logic (3pm Tue 6/10, LT619)   Emma Tye
• [msp-interest] [MSP101] Emma Tye: Martin-Löf Type Theory (3pm Tue 20/10, LT619)   Emma Tye

Last message date: Mon Oct 19 11:58:37 BST 2026
Archived on: Mon Oct 19 12:00:31 BST 2026

• Messages sorted by: [ subject ] [ author ] [ date ]
• More info on this list...