List's worst-average-case or WAC ratio. - Christopher J. Osborn; Eric Torng (J. Sched., 2008)

Theory support for weak higher order abstract syntax in Isabelle/HOL. - Elsa L. Gunter; Christopher J. Osborn; Andrei Popescu 001 (LFMTP, 2009)

Strong Normalization for System F by HOAS on Top of FOAS. - Andrei Popescu 001; Elsa L. Gunter; Christopher J. Osborn (LICS, 2010)

Circular Reasoner: a Package in Mathematica for the Execution of Certain Otherwise Non-terminating Functional Programs - Christopher J. Osborn (2010)