Christopher J. Osborn

According to our database, Christopher J. Osborn authored at least 4 papers between 2008 and 2010.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2010

Circular Reasoner: a Package in Mathematica for the Execution of Certain Otherwise Non-terminating Functional Programs

Christopher J. Osborn

PhD thesis, 2010

Strong Normalization for System F by HOAS on Top of FOAS.

Andrei Popescu, Elsa L. Gunter, Christopher J. Osborn

Proceedings of the 25th Annual IEEE Symposium on Logic in Computer Science, 2010

2009

Theory support for weak higher order abstract syntax in Isabelle/HOL.

Elsa L. Gunter, Christopher J. Osborn, Andrei Popescu

Proceedings of the Fourth International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, 2009

2008

List's worst-average-case or WAC ratio.

Christopher J. Osborn, Eric Torng

J. Sched., 2008