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

1 | Linear Lambda-Calculus is Linear | Díaz-Caro, Alejandro et al. | 2022 |

2 | Some Axioms for Mathematics | Blanqui, Frédéric et al. | 2021 |

3 | Proof Normalisation in a Logic Identifying Isomorphic Propositions | Díaz-Caro, Alejandro et al. | 2019 |

4 | Models and Termination of Proof Reduction in the lambda Pi-Calculus Modulo Theory | Dowek, Gilles | 2017 |

5 | Universality of Proofs (Dagstuhl Seminar 16421) | Dowek, Gilles et al. | 2017 |

Current Page :
| |

Number of result pages: | 1 |

Number of documents: | 5 |