類似資料

• Stabilized profunctors and stable species of structures
  著者:: Fiore, Marcelo, 等
  出版事項: (2023)
• Combining fixpoint and differentiation theory
  著者:: Galal, Zeinab, 等
  出版事項: (2024)
• Substructural Abstract Syntax with Variable Binding and Single-Variable Substitution
  著者:: Fiore, Marcelo, 等
  出版事項: (2025)
• LNL polycategories and doctrines of linear logic
  著者:: Shulman, Michael
  出版事項: (2021)
• Many-valued coalgebraic logic over semi-primal varieties
  著者:: Kurz, Alexander, 等
  出版事項: (2023)