September 2022 Archives by author

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

Starting: Thu Sep 1 03:10:52 JST 2022
Ending: Thu Sep 22 12:14:22 JST 2022
Messages: 8

• [kisoron-ml] SLACS2022 (9月20日～21日) 参加募集   Daisuke Kimura
• [kisoron-ml] 数学基礎論若手の会 2022   Diego A. Mejía
• [kisoron-ml] 雑誌のご案内   Saburou Saitoh
• [kisoron-ml] 2022年度秋季総合分科会のアブストラクトについて   Yoshihito Tanaka
• [kisoron-ml] elements of higher category theory   logic
• [kisoron-ml] Type theoretical approaches to opetopes   logic
• [kisoron-ml] unique key Horn functions   logic
• [kisoron-ml] four extensions of context-free grammars   logic

Last message date: Thu Sep 22 12:14:22 JST 2022
Archived on: Thu Sep 22 12:14:26 JST 2022

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