Multiplexor Categories and Models of Soft Linear Logic. - Brian F. Redmond (LFCS, 2007)

Pola: A Language for PTIME Programming. - Michael J. Burrell; J. Robin B. Cockett; Brian F. Redmond (FICS, 2009)

A Categorical Setting for Lower Complexity. - J. Robin B. Cockett; Brian F. Redmond (MFPS, 2010)

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

Polynomial Time in the Parametric Lambda Calculus. - Brian F. Redmond (TLCA, 2015)

Bounded Combinatory Logic and lower complexity. - Brian F. Redmond (Inf. Comput., 2016)