@article{AWODEY_2016,
    doi = {10.1017/s0960129516000268},
    url = {https://doi.org/10.1017%2Fs0960129516000268},
    year = {2016},
    month = {nov},
    publisher = {Cambridge University Press ({CUP})},
    volume = {28},
    number = {2},
    pages = {241--286},
    author = {STEVE AWODEY},
    title = {Natural models of homotopy type theory},
    journal = {Mathematical Structures in Computer Science}
}

@article{AWODEY_2016, doi = {10.1017/s0960129516000268}, url = {https://doi.org/10.1017%2Fs0960129516000268}, year = {2016}, month = {nov}, publisher = {Cambridge University Press ({CUP})}, volume = {28}, number = {2}, pages = {241--286}, author = {STEVE AWODEY}, title = {Natural models of homotopy type theory}, journal = {Mathematical Structures in Computer Science} }