Bernhard Reus. Realizability Models for Type Theories. Electronic Notes in Theoretical Computer Science, 23(1):128-158, 1999. [doi]
@article{Reus99:0,
title = {Realizability Models for Type Theories},
author = {Bernhard Reus},
year = {1999},
url = {http://www.elsevier.com/gej-ng/31/29/23/92/27/show/Products/notes/index.htt#011},
tags = {meta-model, type theory, Meta-Environment},
researchr = {https://researchr.org/publication/Reus99%3A0},
cites = {0},
citedby = {0},
journal = {Electronic Notes in Theoretical Computer Science},
volume = {23},
number = {1},
pages = {128-158},
}