Registre de correu electrònic: Dagger linear logic for categorical quantum mechanics