I've been really enjoying Picturing Quantum Processes by Coecke and Kissinger. It approaches QM by exploring Quantum Processes in terms of a sort of formalized

I've been really enjoying Picturing Quantum Processes by Coecke and Kissinger. It approaches QM by exploring Quantum Processes in terms of a sort of formalized flow diagram. Notions like entanglement and teleportation are pretty simple in these terms and occur in the first couple chapters. They're natural consequences of the formalization being described and are explained as physical or visual consequences of moving different elements of the diagram around. This is pretty fascinating because the analysis feels informal given how fluent and visual it is, but it can be completely formalized through a logic of graph transformations which let you translate these graphs into algebraic equations. I haven't finished the book yet, but building from this formalism they begin to demonstrate how this formalism appropriately describes Hilbert spaces (it's an abstract theory to the more concrete model of Hilbert spaces) which then get us very close to standard Quantum formalisms. You can already begin discussing qubits, various standard quantum bases, and basic computational reasoning based on these systems. It's a really excellent!