Lower and Upper Power Domain Constructions Commute on all Cpos - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Reinhold Heckmann. Lower and Upper Power Domain Constructions Commute on all Cpos. Inf. Process. Lett., 40(1):7-11, 1991.

@article{Heckmann91:0,
  title = {Lower and Upper Power Domain Constructions Commute on all Cpos},
  author = {Reinhold Heckmann},
  year = {1991},
  researchr = {https://researchr.org/publication/Heckmann91%3A0},
  cites = {0},
  citedby = {0},
  journal = {Inf. Process. Lett.},
  volume = {40},
  number = {1},
  pages = {7-11},
}

runs on WebDSL