Brian Redmond
From MaRDI portal
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Polynomial Time in the Parametric Lambda Calculus. | 2017-07-12 | Paper |
| A categorical setting for lower complexity Electronic Notes in Theoretical Computer Science | 2016-07-08 | Paper |
| Bounded combinatory logic and lower complexity Information and Computation | 2016-05-03 | Paper |
| Safe recursion revisited. I: Categorical semantics for lower complexity Theoretical Computer Science | 2013-12-10 | Paper |
| Mass transfer from a vertical flat plate due to natural convection with a constant counterflow ZAMP. Zeitschrift für angewandte Mathematik und Physik | 2013-11-11 | Paper |
| Multiplexor Categories and Models of Soft Linear Logic Logical Foundations of Computer Science | 2008-01-04 | Paper |
| Bifurcation analysis of a class of first-order nonlinear delay-differential equations with reflectional symmetry Physica D | 2002-06-04 | Paper |
Research outcomes over time
This page was built for person: Brian Redmond
