Review of semantic techniques in quantum computation, edited by Simon Gay and Ian Mackie

Introduction to higher order categorical logic

Introduction to higher order categorical logic

Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints

POPL '77 Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages

Quantum computation and quantum information

Quantum computation and quantum information

Design and Synthesis of Synchronization Skeletons Using Branching-Time Temporal Logic

Logic of Programs, Workshop

Towards a quantum programming language

Mathematical Structures in Computer Science

Quantum weakest preconditions

Mathematical Structures in Computer Science

The temporal logic of programs

SFCS '77 Proceedings of the 18th Annual Symposium on Foundations of Computer Science

Weakly complete axiomatization of exogenous quantum propositional logic

Information and Computation