@INPROCEEDINGS{Pri02,
  author = {Priestley, Hilary A.},
  title = {Ordered sets and complete lattices. {A} primer for computer science},
  booktitle = {Algebraic and coalgebraic methods in the mathematics of program construction
	
	},
  year = {2002},
  editor = {Backhouse, Roland and Crole, Roy and Gibbons, Jeremy},
  volume = {2297},
  series = LNCS,
  pages = {21--78},
  address = {Berlin},
  publisher = {Springer},
  note = {Lectures from the International Summer School and Workshop held at
	the University of Oxford, Oxford, April 10--14, 2000},
  doi = {10.1007/3-540-47797-7_2},
  file = {Pri02.pdf:Pri02.pdf:PDF},
  mrclass = {68Q55 (06-02)},
  mrnumber = {1964877},
  url = {https://doi.org/10.1007/3-540-47797-7_2}
}

{"_id":"s4zfg9zFgpuctNYtF","bibbaseid":"priestley-orderedsetsandcompletelatticesaprimerforcomputerscience-2002","authorIDs":[],"author_short":["Priestley, H. A."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"propositions":[],"lastnames":["Priestley"],"firstnames":["Hilary","A."],"suffixes":[]}],"title":"Ordered sets and complete lattices. A primer for computer science","booktitle":"Algebraic and coalgebraic methods in the mathematics of program construction ","year":"2002","editor":[{"propositions":[],"lastnames":["Backhouse"],"firstnames":["Roland"],"suffixes":[]},{"propositions":[],"lastnames":["Crole"],"firstnames":["Roy"],"suffixes":[]},{"propositions":[],"lastnames":["Gibbons"],"firstnames":["Jeremy"],"suffixes":[]}],"volume":"2297","pages":"21–78","address":"Berlin","publisher":"Springer","note":"Lectures from the International Summer School and Workshop held at the University of Oxford, Oxford, April 10–14, 2000","doi":"10.1007/3-540-47797-7_2","file":"Pri02.pdf:Pri02.pdf:PDF","mrclass":"68Q55 (06-02)","mrnumber":"1964877","url":"https://doi.org/10.1007/3-540-47797-7_2","bibtex":"@INPROCEEDINGS{Pri02,\r\n author = {Priestley, Hilary A.},\r\n title = {Ordered sets and complete lattices. {A} primer for computer science},\r\n booktitle = {Algebraic and coalgebraic methods in the mathematics of program construction\r\n\t\r\n\t},\r\n year = {2002},\r\n editor = {Backhouse, Roland and Crole, Roy and Gibbons, Jeremy},\r\n volume = {2297},\r\n series = LNCS,\r\n pages = {21--78},\r\n address = {Berlin},\r\n publisher = {Springer},\r\n note = {Lectures from the International Summer School and Workshop held at\r\n\tthe University of Oxford, Oxford, April 10--14, 2000},\r\n doi = {10.1007/3-540-47797-7_2},\r\n file = {Pri02.pdf:Pri02.pdf:PDF},\r\n mrclass = {68Q55 (06-02)},\r\n mrnumber = {1964877},\r\n url = {https://doi.org/10.1007/3-540-47797-7_2}\r\n}\r\n\r\n","author_short":["Priestley, H. A."],"editor_short":["Backhouse, R.","Crole, R.","Gibbons, J."],"key":"Pri02","id":"Pri02","bibbaseid":"priestley-orderedsetsandcompletelatticesaprimerforcomputerscience-2002","role":"author","urls":{"Paper":"https://doi.org/10.1007/3-540-47797-7_2"},"downloads":0},"bibtype":"inproceedings","biburl":"http://cca-net.de/publications/lit.bib","creationDate":"2019-09-11T13:29:35.721Z","downloads":0,"keywords":[],"search_terms":["ordered","sets","complete","lattices","primer","computer","science","priestley"],"title":"Ordered sets and complete lattices. A primer for computer science","year":2002,"dataSources":["t7rKiAbxugj4Agz8M"]}