Publicaciones en colaboración con investigadores/as de Grenoble Alpes University (1)

2011

  1. Measurements and confluence in quantum lambda calculi with explicit qubits

    Electronic Notes in Theoretical Computer Science