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. Infinite trees, higher-order recursion schemes and game semantics

Infinite trees, higher-order recursion schemes and game semantics

Luke Ong ( Oxford University Computing Lab )
  • 2Dec
    12:00 2nd December 2005 ( week 8, Michaelmas Term 2005 )

 

 

Share this:

Seminar Series

See also

Coordinators

News & Events

Back to Top