The following pages link to Harold Schellinx (Q1345900):
Displaying 14 items.
- On the linear decoration of intuitionistic derivations (Q1345901) (← links)
- On the Jordan-Hölder decomposition of proof nets (Q1386676) (← links)
- Computational isomorphisms in classical logic (Q1398471) (← links)
- (Q2702566) (← links)
- Isomorphisms and nonisomorphisms of graph models (Q3360838) (← links)
- Some Syntactical Observations on Linear Logic (Q3986870) (← links)
- (Q4222844) (← links)
- (Q4282569) (← links)
- (Q4282602) (← links)
- A new deconstructive logic: linear logic (Q4372906) (← links)
- SN and CR for free-style <i>LK<sup>tq</sup></i>: linear decorations and simulation of normalization (Q4532608) (← links)
- Strong normalization for all-style LKtq (Q4645240) (← links)
- (Q4842975) (← links)
- (Q5688803) (← links)
