Person:276269: Difference between revisions

Latest revision as of 02:07, 10 December 2023

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

No records found.

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Brian F. Redmond

Revision as of 05:06, 7 October 2023 view source Import231006081045 (talk \| contribs) Bots 963,540 edits Created automatically from import231006081045	Latest revision as of 02:07, 10 December 2023 view source AuthorDisambiguator (talk \| contribs) Bots, Administrators 1,238,488 edits m AuthorDisambiguator moved page Brian F. Redmond to Brian F. Redmond: Duplicate
(No difference)