No. |
Title |
Author |
Year |
---|

1 |
Modular Focused Proof Systems for Intuitionistic Modal Logics |
Chaudhuri, Kaustuv et al. |
2016 |

2 |
A Proof-theoretic Characterization of Independence in Type Theory |
Wang, Yuting et al. |
2015 |

3 |
A Hybrid Linear Logic for Constrained Transition Systems |
Despeyroux, JoĆ«lle et al. |
2014 |

4 |
A Two-Level Logic Approach to Reasoning About Typed Specification Languages |
Southern, Mary et al. |
2014 |

5 |
A Systematic Approach to Canonicity in the Classical Sequent Calculus |
Chaudhuri, Kaustuv et al. |
2012 |

6 |
The Focused Calculus of Structures |
Chaudhuri, Kaustuv et al. |
2011 |