Skip to main content
University of Oxford Department of Computer Science
  Contact Us     Search  
  1. Home
  2. Events
  3. OASIS: The Oxford Advanced Seminar on Informatic Structures
  4. Traced Monoidal Categories and Hoare Logic

Traced Monoidal Categories and Hoare Logic

Mathiesen & Oliva ( Queen Mary, London )
  • 5May
    12:00 5th May 2006 ( week 2, Trinity Term 2006 )

 

 

Share this:

Seminar Series

See also

Coordinators

News & Events

Back to Top