A Fixpoint Construction of the p-adic Domain

Steven Vickers. A Fixpoint Construction of the p-adic Domain. In David H. Pitt, Axel Poigné, David E. Rydeheard, editors, Category Theory and Computer Science, Edinburgh, UK, September 7-9, 1987, Proceedings. Volume 283 of Lecture Notes in Computer Science, pages 270-289, Springer, 1987.

@inproceedings{Vickers87:0,
  title = {A Fixpoint Construction of the p-adic Domain},
  author = {Steven Vickers},
  year = {1987},
  researchr = {https://researchr.org/publication/Vickers87%3A0},
  cites = {0},
  citedby = {0},
  pages = {270-289},
  booktitle = {Category Theory and Computer Science, Edinburgh, UK, September 7-9, 1987, Proceedings},
  editor = {David H. Pitt and Axel Poigné and David E. Rydeheard},
  volume = {283},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-18508-9},
}