Joëlle Despeyroux

According to our database, Joëlle Despeyroux authored at least 20 papers between 1983 and 2020.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2020

Computational Logic for Biomedicine and Neurosciences.

Abdorrahim Bahrami, Elisabetta De Maria, Joëlle Despeyroux, Amy P. Felty, Pietro Lió, Carlos Olarte

CoRR, 2020

2019

Hybrid linear logic, revisited.

Kaustuv Chaudhuri, Joëlle Despeyroux, Carlos Olarte, Elaine Pimentel

Math. Struct. Comput. Sci., 2019

2018

A Logical Framework for Modelling Breast Cancer Progression.

Joëlle Despeyroux, Amy P. Felty, Pietro Liò, Carlos Olarte

Proceedings of the Molecular Logic and Computational Synthetic Biology, 2018

2016

Hybrid and Subexponential Linear Logics.

Joëlle Despeyroux, Carlos Olarte, Elaine Pimentel

Proceedings of the 11th Workshop on Logical and Semantic Frameworks with Applications, 2016

Hybrid and Subexponential Linear Logics Technical Report.

Joëlle Despeyroux, Carlos Olarte, Elaine Pimentel

CoRR, 2016

(Mathematical) Logic for Systems Biology (Invited Paper).

Joëlle Despeyroux

Proceedings of the Computational Methods in Systems Biology, 2016

2014

A Logical Framework for Systems Biology.

Elisabetta De Maria, Joëlle Despeyroux, Amy P. Felty

Proceedings of the Formal Methods in Macro-Biology - First International Conference, 2014

2013

A Hybrid Linear Logic for Constrained Transition Systems with Applications to Molecular Biology.

Kaustuv Chaudhuri, Joëlle Despeyroux

CoRR, 2013

A Hybrid Linear Logic for Constrained Transition Systems.

Joëlle Despeyroux, Kaustuv Chaudhuri

Proceedings of the 19th International Conference on Types for Proofs and Programs, 2013

2001

Primitive recursion for higher-order abstract syntax.

Carsten Schürmann, Joëlle Despeyroux, Frank Pfenning

Theor. Comput. Sci., 2001

Recursion over objects of functional type.

Joëlle Despeyroux, Pierre Leleu

Math. Struct. Comput. Sci., 2001

2000

Metatheoretic Results for a Modal lambda-Calculus

Joëlle Despeyroux, Pierre Leleu

J. Funct. Log. Program., 2000

A Higher-Order Specification of the pi-Calculus.

Joëlle Despeyroux

Proceedings of the Theoretical Computer Science, 2000

1998

A Modal Lambda Calculus with Iteration and Case Constructs.

Joëlle Despeyroux, Pierre Leleu

Proceedings of the Types for Proofs and Programs, 1998

1995

Higher-Order Abstract Syntax in Coq.

Joëlle Despeyroux, Amy P. Felty, André Hirschowitz

Proceedings of the Typed Lambda Calculi and Applications, 1995

1994

Higher-Order Abstract Syntax with Induction in Coq.

Joëlle Despeyroux, André Hirschowitz

Proceedings of the Logic Programming and Automated Reasoning, 5th International Conference, 1994

1992

Theo: An Interactive Proof Development System.

Joëlle Despeyroux

BIT, 1992

1986

Proof of Translation in Natural Semantics

Joëlle Despeyroux

Proceedings of the Symposium on Logic in Computer Science (LICS '86), 1986

A Simple Applicative Language: Mini-ML.

Dominique Clément, Joëlle Despeyroux, Th. Despeyroux, Gilles Kahn

Proceedings of the 1986 ACM Conference on LISP and Functional Programming, 1986

1983

An algebraic specification of a Pascal compiler.

Joëlle Despeyroux

ACM SIGPLAN Notices, 1983