Informes

12/09/07 Jean-Yves Girard Workshop, IHP, Paris: talk 5: Peter Selinger: Linear logic in quantum computation

No hay informes relevantes para este ítem