Publications for the collection HAL LS2N-GALLINETTE for 2023
International conferences with reviewing committee (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
