The following pages link to Joëlle Despeyroux (Q688726):
Displaying 13 items.
- (Q236745) (redirect page) (← links)
- Theo: An interactive proof development system (Q688727) (← links)
- (Mathematical) logic for systems biology (invited paper) (Q1706576) (← links)
- Hybrid and subexponential linear logics (Q1744445) (← links)
- Recursion over objects of functional type (Q2746760) (← links)
- (Q2968415) (← links)
- (Q3024905) (← links)
- (Q4506397) (← links)
- (Q4536440) (← links)
- (Q4944849) (← links)
- Hybrid linear logic, revisited (Q5236552) (← links)
- A Logical Framework for Systems Biology (Q5500406) (← links)
- Primitive recursion for higher-order abstract syntax (Q5958752) (← links)
