Similar Items: Coherency through formalisations of Structured Natural Language, A case study on FRETish
- Categorical Message Passing Language (CaMPL) for programmers
- Finite-Horizon First-Order Rank Profiles of Regular Languages
- A Practical Specification Language for Automatic Quantum Program Verification (Technical Report)
- Inverter Redistribution through Self-Dual and Self-Anti-Dual Function Transformation
- Verification of Neural Networks (Lecture Notes)
- Quantum Bayesian Networks: Compositionality and Typing via Linear Logic