Christopher J. Osborn

Publication Activity (10 Years)

Years Active: 2008-2010
Publications (10 Years): 0

Publications

Andrei Popescu, Elsa L. Gunter, Christopher J. Osborn
Strong Normalization for System F by HOAS on Top of FOAS. LICS (2010)
Elsa L. Gunter, Christopher J. Osborn, Andrei Popescu
Theory support for weak higher order abstract syntax in Isabelle/HOL. LFMTP (2009)
Christopher J. Osborn, Eric Torng
List's worst-average-case or WAC ratio. J. Sched. 11 (3) (2008)