Brian F. Redmond

Publication Activity (10 Years)

Years Active: 2007-2016
Publications (10 Years): 1

Top Topics

Lambda Calculus

Transitive Closure

Database Query Languages

Lower Complexity

Top Venues

Theor. Comput. Sci.

Publications

Brian F. Redmond
Bounded Combinatory Logic and lower complexity. Inf. Comput. 248 (2016)
Brian F. Redmond
Polynomial Time in the Parametric Lambda Calculus. TLCA (2015)
Mike Burrell, J. Robin B. Cockett, Brian F. Redmond
Safe recursion revisited I: Categorical semantics for lower complexity. Theor. Comput. Sci. 515 (2014)
J. Robin B. Cockett, Brian F. Redmond
A Categorical Setting for Lower Complexity. MFPS (2010)
Michael J. Burrell, J. Robin B. Cockett, Brian F. Redmond
Pola: A Language for PTIME Programming. FICS (2009)
Brian F. Redmond
Multiplexor Categories and Models of Soft Linear Logic. LFCS (2007)