All Stories

  1. Topos logic in measurement-based quantum computation