Home
About
Advanced Search
Browse by Discipline
Scientific Societies
E-print Alerts
Add E-prints
FAQ
•
HELP
•
SITE MAP
•
CONTACT US
Search
Advanced Search
Despeyroux, Joëlle - Inria Sophia-Antipolis
A higherorder specification of the #calculus Jolle Despeyroux
S#mantique Naturelle: Sp#cications et Preuves Jo#lle Despeyroux
A formalization of a concurrent object calculus up to ffconversion
Under consideration for publication in Math. Struct. in Comp. Science Recursion over Objects of Functional Type
Primitive Recursion for HigherOrder Abstract Syntax
HABILITATION l'universit
Formalization of a concurrent object calculus up to ffconversion
Rapport de stage: Preuve de correction et extraction d'un algorithme d'inf#rence de type
Preuve d'un programme imp'eratif dans le syst`eme Coq
Rapport de PostDoc Vers la certication du compilateur v5 d'Esterel
Automating Inversion of Inductive Predicates in Coq Cristina Cornes 1 and Delphine Terrasse 2
A Hybrid Linear Logic for Constrained Transition Systems Kaustuv Chaudhuri, Jolle Despeyroux
The Journal of Functional and Logic Programming
N 0 d'ordre : UNIVERSITE PARIS 7 -DENIS DIDEROT
Activit#s d' enseignement et de recherche de Guillaume Gillard
A Hybrid Linear Logic for Constrained Transition Systems Kaustuv Chaudhuri, Jolle Despeyroux
A higherorder specication of the calculus Jo#lle Despeyroux
Encoding Natural Semantics in Coq Delphine Terrasse
A Hybrid Linear Logic for Constrained Transition Systems with Applications to Molecular Biology
TH#SE DE DOCTORAT pr#sent#e #
A formalization of a concurrent object calculus up to ff-conversion
Formalization of a concurrent object calculus up to ff-conversion
