Joëlle Despeyroux

Publication Activity (10 Years)

Years Active: 1983-2020
Publications (10 Years): 8

Top Topics

Cut Elimination

Logical Framework

Technical Report

Systems Biology

Top Venues

Publications

Abdorrahim Bahrami, Elisabetta De Maria, Joëlle Despeyroux, Amy P. Felty, Pietro Lió, Carlos Olarte
Computational Logic for Biomedicine and Neurosciences. CoRR (2020)
Kaustuv Chaudhuri, Joëlle Despeyroux, Carlos Olarte, Elaine Pimentel
Hybrid linear logic, revisited. Math. Struct. Comput. Sci. 29 (8) (2019)
Joëlle Despeyroux, Amy P. Felty, Pietro Liò, Carlos Olarte
A Logical Framework for Modelling Breast Cancer Progression. MLCSB (2018)
Joëlle Despeyroux
(Mathematical) Logic for Systems Biology (Invited Paper). CoRR (2017)
Joëlle Despeyroux, Carlos Olarte, Elaine Pimentel
Hybrid and Subexponential Linear Logics Technical Report. CoRR (2016)
Joëlle Despeyroux, Carlos Olarte, Elaine Pimentel
Hybrid and Subexponential Linear Logics. LSFA (2016)
Joëlle Despeyroux, Kaustuv Chaudhuri
A Hybrid Linear Logic for Constrained Transition Systems. CoRR (2016)
Joëlle Despeyroux
(Mathematical) Logic for Systems Biology (Invited Paper). CMSB (2016)
Elisabetta De Maria, Joëlle Despeyroux, Amy P. Felty
A Logical Framework for Systems Biology. FMMB (2014)
Elisabetta De Maria, Joëlle Despeyroux, Amy P. Felty
A Logical Framework for Systems Biology. CoRR (2014)
Kaustuv Chaudhuri, Joëlle Despeyroux
A Hybrid Linear Logic for Constrained Transition Systems with Applications to Molecular Biology. CoRR (2013)
Joëlle Despeyroux, Kaustuv Chaudhuri
A Hybrid Linear Logic for Constrained Transition Systems. TYPES (2013)
Joëlle Despeyroux, Pierre Leleu
Recursion over objects of functional type. Math. Struct. Comput. Sci. 11 (4) (2001)
Carsten Schürmann, Joëlle Despeyroux, Frank Pfenning
Primitive recursion for higher-order abstract syntax. Theor. Comput. Sci. 266 (1-2) (2001)
Joëlle Despeyroux
A Higher-Order Specification of the pi-Calculus. IFIP TCS (2000)
Joëlle Despeyroux, Pierre Leleu
Metatheoretic Results for a Modal lambda-Calculus J. Funct. Log. Program. 2000 (1) (2000)
Joëlle Despeyroux, Pierre Leleu
A Modal Lambda Calculus with Iteration and Case Constructs. TYPES (1998)
Joëlle Despeyroux, Frank Pfenning, Carsten Schürmann
Primitive Recursion for Higher-Order Abstract Syntax. TLCA (1997)
Joëlle Despeyroux, Amy P. Felty, André Hirschowitz
Higher-Order Abstract Syntax in Coq. TLCA (1995)
Joëlle Despeyroux, André Hirschowitz
Higher-Order Abstract Syntax with Induction in Coq. LPAR (1994)
Joëlle Despeyroux
Theo: An Interactive Proof Development System. BIT 32 (1) (1992)
Joëlle Despeyroux
Proof of Translation in Natural Semantics LICS (1986)
Dominique Clément, Joëlle Despeyroux, Th. Despeyroux, Gilles Kahn
A Simple Applicative Language: Mini-ML. LISP and Functional Programming (1986)
Joëlle Despeyroux
An algebraic specification of a Pascal compiler. ACM SIGPLAN Notices 18 (12) (1983)