Grenoble Alpes University-ko ikertzaileekin lankidetzan egindako argitalpenak (1)

2011

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

    Electronic Notes in Theoretical Computer Science