Skip to main content

Foundations, Logic and Structures

The Foundations, Logic and Structures theme encompasses our research into the mathematical underpinnings of computer science and their application in a variety of different areas.  Major activities within this theme include our work on Quantum Information and Computation, led by Samson Abramsky and Bob Coecke; and on Game Semantics and applications to Verification, led by Luke Ong.

Related seminar series

All Activities

Activities

Quantum Group We study structural and foundational aspects of computer science and …

Read more about Quantum Group

Compositional Distributional Models of Meaning Where natural language semantics meets quantum information flow... T…

Read more about Compositional Distributional Models of Meaning

All Publications

Publications

Piecewise Boolean algebras and their domains

Read more about Piecewise Boolean algebras and their domains

Category−Theoretic Quantitative Compositional Distributional Models of Natural Language Semantics

Read more about Category−Theoretic Quantitative Compositional Distributional Models of Natural Language Semantics

Research