The following pages link to Nicolas Guenot (Q2883079):
Displaying 7 items.
- FOCUSED PROOF SEARCH FOR LINEAR LOGIC IN THE CALCULUS OF STRUCTURES (Q2883080) (← links)
- (Q2915680) (← links)
- Equality and fixpoints in the calculus of structures (Q4635614) (← links)
- Symmetric normalisation for intuitionistic logic (Q4635630) (← links)
- Multi-focused cut elimination (Q4637625) (← links)
- (Q5015210) (← links)
- Focused linear logic and the \(\lambda\)-calculus (Q5971394) (← links)
