J. Despeyroux
From MaRDI portal
Person:688726
Available identifiers
zbMath Open despeyroux.joelleMaRDI QIDQ688726
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 |
|---|---|---|
| A logical framework for modelling breast cancer progression | 2023-10-20 | Paper |
| Hybrid linear logic, revisited | 2019-10-09 | Paper |
| Hybrid and subexponential linear logics | 2018-04-23 | Paper |
| (Mathematical) logic for systems biology (invited paper) | 2018-03-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2968415 | 2017-03-13 | Paper |
| A Logical Framework for Systems Biology | 2015-08-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3024905 | 2005-07-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4536440 | 2002-11-25 | Paper |
| Primitive recursion for higher-order abstract syntax | 2002-03-03 | Paper |
| Recursion over objects of functional type | 2001-10-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4506397 | 2000-09-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4944849 | 2000-09-05 | Paper |
| Theo: An interactive proof development system | 1993-11-28 | Paper |
Research outcomes over time
This page was built for person: J. Despeyroux
