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

1 |
A Curry-Howard Correspondence for Linear, Reversible Computation |
Chardonnet, Kostia et al. |
2023 |

2 |
Decision Problems for Linear Logic with Least and Greatest Fixed Points |
Das, Anupam et al. |
2022 |

3 |
Phase Semantics for Linear Logic with Least and Greatest Fixed Points |
De, Abhishek et al. |
2022 |

4 |
Local Validity for Circular Proofs in Linear Logic with Fixed Points |
Nollet, RĂ©mi et al. |
2018 |

5 |
Infinitary Proof Theory: the Multiplicative Additive Case |
Baelde, David et al. |
2016 |

6 |
Least and Greatest Fixed Points in Ludics |
Baelde, David et al. |
2015 |