Brian F. Redmond

Multiplexor Categories and Models of Soft Linear Logic

Brian F. Redmond, 2007, LFCS.

Bounded Combinatory Logic and lower complexity

Brian F. Redmond, 2016, Inf. Comput..

Proceedings Third Joint Workshop on Developments in Implicit Computational complExity and Foundational & Practical Aspects of Resource Analysis: A Hierarchical System of Linear Logic for Exponential Time Complexity

Brian F. Redmond, 2019 .

Safe recursion revisited I: Categorical semantics for lower complexity

J. Robin B. Cockett, Brian F. Redmond, Mike Burrell, 2014, Theor. Comput. Sci..

Polynomial Time in the Parametric Lambda Calculus

Brian F. Redmond, 2015, TLCA.

A Categorical Setting for Lower Complexity

J. Robin B. Cockett, Brian F. Redmond, 2010, MFPS.

Pola: A Language for PTIME Programming

J. Robin B. Cockett, Brian F. Redmond, Michael J. Burrell, 2009, FICS.

Bifurcation analysis of a class of first-order nonlinear delay-differential equations with reflectional symmetry

André Longtin, Victor G. LeBlanc, Brian F. Redmond, 2002 .