@article{Wallet15,
  title = {Choice sequence and nonstandard extension of type theory},
  author = {Guy Wallet},
  year = {2015},
  url = {https://arima.episciences.org/1995},
  researchr = {https://researchr.org/publication/Wallet15},
  cites = {0},
  citedby = {0},
  journal = {ARIMA J.},
  volume = {20},
}