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 |