Jack Hughes

Available identifiers

zbMath Open hughes.jack-mMaRDI QIDQ2119109

List of research outcomes

Publication	Date of Publication	Type
Deriving distributive laws for graded linear types	2025-01-06	Paper
Travelling waves in a PDE-ODE coupled model of cellulolytic biofilms with nonlinear diffusion	2024-12-12	Paper
A mathematical model of discrete attachment to a cellulolytic biofilm using random DEs	2023-02-28	Paper
Resourceful program synthesis from graded linear types	2022-03-23	Paper
Travelling waves in a PDE-ODE coupled system with nonlinear diffusion	2022-02-15	Paper
Thermodynamic inhibition in a biofilm reactor with suspended bacteria	2021-03-26	Paper

Research outcomes over time

This page was built for person: Jack Hughes