September 2022 Archives by thread

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

Starting: Thu Sep 1 03:10:52 JST 2022
Ending: Tue Sep 27 18:40:28 JST 2022
Messages: 7

• [logic-ml] elements of higher category theory   logic
  • [logic-ml] Type theoretical approaches to opetopes   logic
    • [logic-ml] unique key Horn functions   logic
      • [logic-ml] four extensions of context-free grammars   logic
• [logic-ml] 数学基礎論若手の会 2022   Diego A. Mejía
• [logic-ml] SLACS2022 (9月20日～21日) 参加募集   Daisuke Kimura
• [logic-ml] 早稲田集合論セミナー（１０月６日）のご案内   Toshimichi Usuba

Last message date: Tue Sep 27 18:40:28 JST 2022
Archived on: Tue Sep 27 18:40:32 JST 2022

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