Quantum Programming with Inductive Datatypes: Causality and Affine Type Theory

por Péchoux, Romain, Perdrix, Simon, Rennela, Mathys, Zamdzhiev, Vladimir
Publicado 2020

Qualifying quantum approaches for hard industrial optimization problems. A case study in the field of smart-charging of electric vehicles

por Dalyac, Constantin, Henriet, Loïc, Jeandel, Emmanuel, Lechner, Wolfgang, Perdrix, Simon, Porcheron, Marc, Veshchezerova, Margarita
Publicado 2021