Logical Journeys: A Scientific Autobiography
Outstanding contributions to logic(2023)
摘要
A short scientific biography emphasising the main phases of Abramsky’s research: duality theory and domains in logical form, game semantics, categorical quantum mechanics, the sheaf-theoretic approach to contextuality, and game comonads and a structural view of resources and descriptive complexity.
更多查看译文
关键词
logical journeys,scientific
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络
Chat Paper
正在生成论文摘要