Titouan Carette
- Complete equational theories for classical and quantum Gaussian relations
2024/03/15 by Robert I. Booth, Booth, Robert I., Titouan Carette +3 · 2 citations
Computer Science · #Bayesian Modeling and Causal Inference #Category Theory (math.CT) #FOS: Computer and information sciences #FOS: Mathematics #FOS: Physical sciences #Logic in Computer Science (cs.LO) #Quantum Physics (quant-ph)
- Propification and the Scalable Comonad
2022/05/16 by Titouan Carette, Carette, Titouan · 1 citation
Computer Science · #Category Theory (math.CT) #FOS: Mathematics #FOS: Physical sciences #Logic, programming, and type systems #Model-Driven Software Engineering Techniques #Quantum Physics (quant-ph) #Software Engineering Research