Mike Burrell

Publication Activity (10 Years)

Years Active: 2014-2014
Publications (10 Years): 0

Top Topics

Lower Complexity

Transitive Closure

Degraded Images

Datalog Programs

Top Venues

Theor. Comput. Sci.

Publications

Mike Burrell, J. Robin B. Cockett, Brian F. Redmond
Safe recursion revisited I: Categorical semantics for lower complexity. Theor. Comput. Sci. 515 (2014)