Joëlle Despeyroux

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