Publication de la collection HAL LS2N-GALLINETTE pour 2023
| COMM_INT |
|---|
| 5 |
Chiffres en cours de consolidation
Conférences internationales avec comité de lecture et actes (COMM_INT)
- [1] L. Pujet, N. Tabareau. Impredicative Observational Equality. In POPL 2023 - 50th ACM SIGPLAN Symposium on Principles of Programming Languages, janvier 2023, Boston, états-Unis.https://hal.science/hal-03857705v2
- [2] V. Blot, D. Cousineau, E. Crance, L. Dubois de Prisque, C. Keller, A. Mahboubi, P. Vial. Compositional pre-processing for automated reasoning in dependent type theory. In CPP 2023 - Certified Programs and Proofs, janvier 2023, Boston, états-Unis.https://inria.hal.science/hal-03901019v2
- [3] Y. Forster, F. Jahn, G. Smolka. A Computational Cantor-Bernstein and Myhill's Isomorphism Theorem in Constructive Type Theory. In CPP 2023 - 12th ACM SIGPLAN International Conference on Certified Programs and Proofs, janvier 2023, Boston, états-Unis.https://inria.hal.science/hal-03891390
- [4] Y. Forster, F. Jahn. Constructive and Synthetic Reducibility Degrees: Post's Problem for Many-one and Truth-table Reducibility in Coq. In CSL 2023 - 31st EACSL Annual Conference on Computer Science Logic, février 2023, Warsaw, Pologne.https://inria.hal.science/hal-03901942
- [5] A. Mahboubi, G. Melquiond. Manifest Termination. In TYPES 2023 - 29th International Conference on Types for Proofs and Programs, juin 2023, Valencia, Espagne.https://inria.hal.science/hal-04172297
