Name
Title | Citations | PageRank | Year |
|---|---|---|---|
| Multi-focused cut elimination. | 0 | 0.34 | 2018 |
| Computation in focused intuitionistic logic | 1 | 0.36 | 2015 |
| Focused Linear Logic and the λ -calculus | 0 | 0.34 | 2015 |
| Hybrid Extensions in a Logical Framework | 0 | 0.34 | 2014 |
| Equality and fixpoints in the calculus of structures | 0 | 0.34 | 2014 |