2018•Unpublished venueOpen access
Extensional and Intensional Semantic Universes
Valentin Blot, Jim Laird
Open full text 2 citations
Abstract
We describe a dependent type theory, and a denotational model for it, that incorporates both intensional and extensional semantic universes. In the former, terms and types are interpreted as strategies on certain graph games, which are concrete data structures of a generalized form, and in the latter as stable functions on event domains.
Open-access reader