J. Despeyroux

From MaRDI portal
Person:688726

Available identifiers

zbMath Open despeyroux.joelleMaRDI QIDQ688726

List of research outcomes





PublicationDate of PublicationType
A logical framework for modelling breast cancer progression2023-10-20Paper
Hybrid linear logic, revisited2019-10-09Paper
Hybrid and subexponential linear logics2018-04-23Paper
(Mathematical) logic for systems biology (invited paper)2018-03-22Paper
A hybrid linear logic for constrained transition systems2017-03-13Paper
A logical framework for systems biology2015-08-06Paper
https://portal.mardi4nfdi.de/entity/Q30249052005-07-04Paper
https://portal.mardi4nfdi.de/entity/Q45364402002-11-25Paper
Primitive recursion for higher-order abstract syntax2002-03-03Paper
Recursion over objects of functional type2001-10-10Paper
https://portal.mardi4nfdi.de/entity/Q45063972000-09-18Paper
https://portal.mardi4nfdi.de/entity/Q49448492000-09-05Paper
Theo: An interactive proof development system1993-11-28Paper

Research outcomes over time

This page was built for person: J. Despeyroux

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:688726&oldid=10554116"
Powered by MediaWiki