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

Valentin Blot, Jim Laird

Browse the full LICS paper archive.