Home » Team publications

Publications  for  the  collection  HAL LS2N-GALLINETTE  for  2023

Total of the publications found : 4

Overview of LS2N-GALLINETTE publications by types

Chiffres en cours de consolidation

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.
    • [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.
    • [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.
    • [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.
Copyright : LS2N 2017 - Legal notices -