Home » Publications Equipe


Publication  de  la  collection  HAL LS2N-GALLINETTE  pour  2017

Nombre de publications retournées : 10


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

Revues internationales avec comité de lecture (ART_INT)

Conférences internationales avec comité de lecture et actes (COMM_INT)

    • [2] 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
    • [3] 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
    • [4] P. Clairambault, G. Munch-Maccagnoni. Duploid situations in concurrent games. In Games for Logic and Programming Languages XII (GaLoP), avril 2017, Uppsala, Suède.
      https://hal.inria.fr/hal-01991555
    • [5] 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
    • [6] 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
    • [7] 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
    • [8] 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
    • [9] 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)

    • [10] 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.archives-ouvertes.fr/hal-01503089
Copyright : LS2N 2017 - Mentions Légales - 
 -