Publication de la collection HAL LS2N-GALLINETTE pour 2017
Revues internationales avec comité de lecture (ART_INT)
- [1] A. Abel, A. Vezzosi, T. Winterhalter. Normalization by evaluation for sized dependent types. In Proceedings of the ACM on Programming Languages ; éd. ACM, 2017, vol. 1.https://hal.science/hal-01596179
- [2] H. Lombardi, A. Mahboubi. Théories géométriques pour l'algèbre des nombres réels. In Contemporary mathematics ; éd. American Mathematical Society, 2017, vol. 697.https://inria.hal.science/hal-01426164v3
- [3] G. Gilbert. Formalising Real Numbers in Homotopy Type Theory. In 6th ACM SIGPLAN Conference on Certified Programs and Proofs, janvier 2017, Paris, France.https://inria.hal.science/hal-01449326
- [4] S. Boulier, P. Pédrot, N. Tabareau. The next 700 syntactical models of type theory. In Certified Programs and Proofs (CPP 2017), janvier 2017, Paris, France.https://inria.hal.science/hal-01445835
- [5] P. Clairambault, G. Munch-Maccagnoni. Duploid situations in concurrent games. In 12th Workshop on Games for Logic and Programming Languages (GaLoP XII), avril 2017, Uppsala, Suède.https://inria.hal.science/hal-01991555
- [6] E. Finster, S. Mimram. A type-theoretical definition of weak ω-categories. In LICS 2017 - 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, juin 2017, Reykjavik, Islande.https://inria.hal.science/hal-02154846
- [7] P. Pédrot, N. Tabareau. An Effectful Way to Eliminate Addiction to Dependence. In Logic in Computer Science (LICS), 2017 32nd Annual ACM/IEEE Symposium on, juin 2017, Reykjavik, Islande.https://inria.hal.science/hal-01441829
- [8] G. Munch-Maccagnoni. What term assignments can do for focusing. In 4th International Workshop on Structures and Deduction (SD 2017), septembre 2017, Oxford, Royaume-Uni.https://inria.hal.science/hal-01991571
- [9] B. Ahrens, P. Lefanu Lumsdaine, V. Voevodsky. Categorical Structures for Type Theory in Univalent Foundations. In 26th EACSL Annual Conference on Computer Science Logic (CSL 2017), août 2017, Stockholm, Suède.In Valentin Goranko and Mads Dam (éds.), . LIPIcs, 2017.https://inria.hal.science/hal-01579271
- [10] B. Ahrens, P. Lumsdaine. Displayed Categories. In 2nd International Conference on Formal Structures for Computation and Deduction (FSCD 2017), septembre 2017, Oxford, Royaume-Uni.In Dale Miller (éds.), . Leibniz International Proceedings in Informatics (LIPIcs), 2017.https://inria.hal.science/hal-01584770
- [11] S. Boulier, P. Pédrot, N. Tabareau. Modèles de la théorie des types donnés par traduction de programme. In 28ièmes Journées Francophones des Langages Applicatifs, janvier 2017, Gourette, France.https://hal.science/hal-01503089
