June 2022 Archives by author

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

Starting: Tue Jun 7 13:22:56 JST 2022
Ending: Sun Jun 26 00:50:13 JST 2022
Messages: 9

• [logic-ml] ERATO Project Colloquium by Masahiro Hamano (16:30 on Tuesday June 21st)   Shinya KATSUMATA
• [logic-ml] 前原昭二先生について   Kazushige TERUI
• [logic-ml] 教授、准教授または専任講師の公募（早稲田大学 基幹理工学部 情報理工学科）   Tachio Terauchi
• [logic-ml] categories for philosophers   logic
• [logic-ml] Joachim Lambek   logic
• [logic-ml] Lambek's syntactic calculus   logic
• [logic-ml] proof theory of skew monoidal categories   logic
• [logic-ml] pomset logic   logic
• [logic-ml] pregroup grammars   logic

Last message date: Sun Jun 26 00:50:13 JST 2022
Archived on: Sun Jun 26 00:50:25 JST 2022

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