Brian F. 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
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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Brian F. Redmond