Cs-Lo
A Complete Equational Theory for Real-Clifford+CH Quantum Circuits
On the role of connectivity in Linear Logic proofs
The proof theory and semantics of second-order (intuitionistic) tense logic
Do It for HER: First-Order Temporal Logic Reward Specification in Reinforcement Learning (Extended Version)
