■ Reference. The Synthetic Plotkin Powerdomain [phoa-taylor-1990]

  • 1990
  • Wesley Phoa, Paul Taylor
  • PDF