The following pages link to Brian F. Redmond (Q276269):
Displaying 7 items.
- Bounded combinatory logic and lower complexity (Q276270) (← links)
- (Q386607) (redirect page) (← links)
- Safe recursion revisited. I: Categorical semantics for lower complexity (Q386608) (← links)
- Bifurcation analysis of a class of first-order nonlinear delay-differential equations with reflectional symmetry (Q1599045) (← links)
- A Categorical Setting for Lower Complexity (Q3178259) (← links)
- Polynomial Time in the Parametric Lambda Calculus. (Q5277846) (← links)
- Multiplexor Categories and Models of Soft Linear Logic (Q5434527) (← links)
