Extensional and Intensional Semantic Universes: A Denotational Model of Dependent Types

Type de document :
Communication dans un congrès
33rd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2018, Jul 2018, Oxford, United Kingdom
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-01766887
Contributeur : Valentin Blot <>
Soumis le : samedi 14 avril 2018 - 14:43:09
Dernière modification le : mardi 24 avril 2018 - 13:54:29

Identifiants

  • HAL Id : hal-01766887, version 1

Citation

Valentin Blot, Jim Laird. Extensional and Intensional Semantic Universes: A Denotational Model of Dependent Types. 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2018, Jul 2018, Oxford, United Kingdom. 〈hal-01766887〉

Partager

Métriques

Consultations de la notice

45