库克的二元逻辑之旅：从量词到Vietoris，再到测度
A Cook's tour of duality in logic: from quantifiers, through Vietoris, to measures
摘要：
我们确定并强调Samson Abramsky工作中的某些里程碑式的成果，我们认为这些成果对当前的发展和未来的趋势至关重要。特别是，我们专注于使用（一）拓扑对偶方法来解决问题的逻辑和计算机科学;（二）范畴理论，更特别的是，自由（和co-free）建设;（三）这些工具，统一的“权力”和“结构”股在计算机科学。
英文摘要：
We identify and highlight certain landmark results in Samson Abramsky's work which we believe are fundamental to current developments and future trends. In particular, we focus on the use of (i) topological duality methods to solve problems in logic and computer science; (ii) category theory and, more particularly, free (and co-free) constructions; (iii) these tools to unify the `power' and `structure' strands in computer science.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
