Combinatorial realizability models of type theory
Under an Elsevier user license
open archive
MSC
03B15
03G30
18A15
18D30
Keywords
Realizability
Gluing
Logical relations
Homotopy type theory
Martin-Löf type theory
Groupoid semantics
Cited by (0)
- 1
During the preparation of this work Hofstra received support from an NSERC Discovery Grant.
- 2
During the preparation of this work Warren received support from the Fields Institute and NSF Grant DMS-0635607.
Copyright © 2013 Elsevier B.V. All rights reserved.