moura-2015-elaboration:
  type: misc
  title: Elaboration in Dependent Type Theory
  author:
  - name: Moura
    given-name: Leonardo
    prefix: de
  - Avigad, Jeremy
  - Kong, Soonho
  - Roux, Cody
  date: 2015-05
  serial-number:
    arxiv: '1505.04324'