Programs from proofs using classical dependent choice

@article{Seisenberger2008ProgramsFP,
  title={Programs from proofs using classical dependent choice},
  author={Monika Seisenberger},
  journal={Ann. Pure Appl. Logic},
  year={2008},
  volume={153},
  pages={97-110}
}