Home » Team publications


Publications  for  the  collection  HAL LS2N-GALLINETTE  for  2017

Total of the publications found : 11


Overview of LS2N-GALLINETTE publications by types
ART_INT
COMM_INT
COMM_NAT
281

International journals with reviewing committee (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://hal.inria.fr/hal-01426164v3

International conferences with reviewing committee (COMM_INT)

    • [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://hal.inria.fr/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://hal.inria.fr/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://hal.inria.fr/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://hal.inria.fr/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://hal.inria.fr/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://hal.inria.fr/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://hal.inria.fr/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://hal.inria.fr/hal-01584770

National conferences with reviewing committee (COMM_NAT)

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