Home » Publications Equipe


Publication  de  la  collection  HAL LS2N-GALLINETTE  pour  2017

Nombre de publications retournées : 11


Récapitulatif du nombre de publications de la collection par types
ART_INT
COMM_INT
COMM_NAT
281

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://hal.inria.fr/hal-01426164v3

Conférences internationales avec comité de lecture et actes (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

Conférences nationales avec comité de lecture et actes (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 - Mentions Légales - 
 -