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.

Abstract

Abstract is missing.