An algebraic specification of a Pascal compiler. - Joëlle Despeyroux (ACM SIGPLAN Notices, 1983)

A Simple Applicative Language: Mini-ML. - Dominique Clément; Joëlle Despeyroux; Th. Despeyroux; Gilles Kahn (LISP and Functional Programming, 1986)

Proof of Translation in Natural Semantics - Joëlle Despeyroux (LICS, 1986)

Theo: An Interactive Proof Development System. - Joëlle Despeyroux (BIT, 1992)

Higher-Order Abstract Syntax with Induction in Coq. - Joëlle Despeyroux; André Hirschowitz (LPAR, 1994)

Higher-Order Abstract Syntax in Coq. - Joëlle Despeyroux; Amy P. Felty; André Hirschowitz (TLCA, 1995)

A Modal Lambda Calculus with Iteration and Case Constructs. - Joëlle Despeyroux; Pierre Leleu (TYPES, 1998)

A Higher-Order Specification of the pi-Calculus. - Joëlle Despeyroux (IFIP TCS, 2000)

Metatheoretic Results for a Modal lambda-Calculus - Joëlle Despeyroux; Pierre Leleu (J. Funct. Log. Program., 2000)

Recursion over objects of functional type. - Joëlle Despeyroux; Pierre Leleu (Math. Struct. Comput. Sci., 2001)

Primitive recursion for higher-order abstract syntax. - Carsten Schürmann; Joëlle Despeyroux; Frank Pfenning (Theor. Comput. Sci., 2001)

A Hybrid Linear Logic for Constrained Transition Systems. - Joëlle Despeyroux; Kaustuv Chaudhuri (TYPES, 2013)

A Hybrid Linear Logic for Constrained Transition Systems with Applications to Molecular Biology. - Kaustuv Chaudhuri; Joëlle Despeyroux (CoRR, 2013)

A Logical Framework for Systems Biology. - Elisabetta De Maria; Joëlle Despeyroux; Amy P. Felty (FMMB, 2014)

(Mathematical) Logic for Systems Biology (Invited Paper). - Joëlle Despeyroux (CMSB, 2016)

Hybrid and Subexponential Linear Logics Technical Report. - Joëlle Despeyroux; Carlos Olarte; Elaine Pimentel (CoRR, 2016)

Hybrid and Subexponential Linear Logics. - Joëlle Despeyroux; Carlos Olarte; Elaine Pimentel (LSFA, 2016)

A Logical Framework for Modelling Breast Cancer Progression. - Joëlle Despeyroux; Amy P. Felty; Pietro Liò; Carlos Olarte (MLCSB, 2018)

Hybrid linear logic, revisited. - Kaustuv Chaudhuri; Joëlle Despeyroux; Carlos Olarte; Elaine Pimentel (Math. Struct. Comput. Sci., 2019)

Computational Logic for Biomedicine and Neurosciences. - Abdorrahim Bahrami; Elisabetta De Maria; Joëlle Despeyroux; Amy P. Felty; Pietro Lió; Carlos Olarte (CoRR, 2020)