@phdthesis{capriotti:thesis,
  address = {Nottingham, UK},
  author = {Paolo Capriotti},
  school = {School of Computer Science, University of Nottingham},
  title = {Models of type theory with strict equality},
  url = {http://arxiv.org/abs/1702.04912},
  year = {2016}
}