We study structural and foundational aspects of computer science and physics, and the connections between them, with applications in quantum information and computation, as well as in computational linguistics, computational logic and semantics.
