Brian F. Redmond

According to our database, Brian F. Redmond authored at least 6 papers between 2007 and 2016.

Collaborative distances:

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

2016

Bounded Combinatory Logic and lower complexity.

Brian F. Redmond

Inf. Comput., 2016

2015

Polynomial Time in the Parametric Lambda Calculus.

Brian F. Redmond

Proceedings of the 13th International Conference on Typed Lambda Calculi and Applications, 2015

2014

Safe recursion revisited I: Categorical semantics for lower complexity.

Mike Burrell, J. Robin B. Cockett, Brian F. Redmond

Theor. Comput. Sci., 2014

2010

A Categorical Setting for Lower Complexity.

J. Robin B. Cockett, Brian F. Redmond

Proceedings of the 26th Conference on the Mathematical Foundations of Programming Semantics, 2010

2009

Pola: A Language for PTIME Programming.

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

Proceedings of the 6th Workshop on Fixed Points in Computer Science, 2009

2007

Multiplexor Categories and Models of Soft Linear Logic.

Brian F. Redmond

Proceedings of the Logical Foundations of Computer Science, International Symposium, 2007