Brian Redmond

Available identifiers

zbMath Open redmond.brian-fMaRDI QIDQ276269

List of research outcomes

Publication	Date of Publication	Type
Polynomial Time in the Parametric Lambda Calculus.	2017-07-12	Paper
A Categorical Setting for Lower Complexity	2016-07-08	Paper
Bounded combinatory logic and lower complexity	2016-05-03	Paper
Safe recursion revisited. I: Categorical semantics for lower complexity	2013-12-10	Paper
Mass transfer from a vertical flat plate due to natural convection with a constant counterflow	2013-11-11	Paper
Multiplexor Categories and Models of Soft Linear Logic	2008-01-04	Paper
Bifurcation analysis of a class of first-order nonlinear delay-differential equations with reflectional symmetry	2002-06-04	Paper

Research outcomes over time

This page was built for person: Brian Redmond