2,980 followers
LCFS 2020 papers have been published, including “Modal Type Theory Based on the Intuitionistic Modal Logic IEL−” by our logician @p_morphism. 🎉 https://t.co/TQQzlAs7JI
LCFS 2020 papers have been published, including “Modal Type Theory Based on the Intuitionistic Modal Logic IEL−” by our logician @p_morphism. 🎉 https://t.co/TQQzlAs7JI