Home » Publications Equipe

Publication  de  la  collection  HAL LS2N-GALLINETTE  pour  2023

Nombre de publications retournées : 5

Récapitulatif du nombre de publications de la collection par types

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.
    • [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.
    • [5] A. Mahboubi, G. Melquiond. Manifest Termination. In TYPES 2023 - 29th International Conference on Types for Proofs and Programs, juin 2023, Valencia, Espagne.
Copyright : LS2N 2017 - Mentions Légales -