@article{fiore-2022-semantic, title={Semantic analysis of normalisation by evaluation for typed lambda calculus}, volume={32}, ISSN={1469-8072}, url={http://dx.doi.org/10.1017/s0960129522000263}, DOI={10.1017/s0960129522000263}, number={8}, journal={Mathematical Structures in Computer Science}, publisher={Cambridge University Press (CUP)}, author={Fiore, Marcelo}, year={2022}, month=Sept, pages={1028–1065} }