J. Despeyroux

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 Molecular Logic and Computational Synthetic Biology	2023-10-20	Paper
Hybrid linear logic, revisited Mathematical Structures in Computer Science	2019-10-09	Paper
Hybrid and subexponential linear logics (available as arXiv preprint)	2018-04-23	Paper
(Mathematical) logic for systems biology (invited paper) (available as arXiv preprint)	2018-03-22	Paper
A hybrid linear logic for constrained transition systems (available as arXiv preprint)	2017-03-13	Paper
A logical framework for systems biology Formal Methods in Macro-Biology	2015-08-06	Paper
scientific article; zbMATH DE number 2185713 (Why is no real title available?)	2005-07-04	Paper
scientific article; zbMATH DE number 1759486 (Why is no real title available?)	2002-11-25	Paper
Primitive recursion for higher-order abstract syntax Theoretical Computer Science	2002-03-03	Paper
Recursion over objects of functional type MSCS. Mathematical Structures in Computer Science	2001-10-10	Paper
scientific article; zbMATH DE number 1508934 (Why is no real title available?)	2000-09-18	Paper
scientific article; zbMATH DE number 1420785 (Why is no real title available?)	2000-09-05	Paper
Theo: An interactive proof development system BIT	1993-11-28	Paper

Research outcomes over time

This page was built for person: J. Despeyroux