Conference item

Ordered sets and complete lattices - A primer for computer science

Abstract:: These notes deal with an interconnecting web of mathematical techniques all of which deserve a place in the armoury of the well-educated computer scientist. The objective is to present the ideas as a self-contained body of material, worthy of study in its own right, and at the same time to assist the learning of algebraic and coalgebraic methods, by giving prior familiarization with some of the mathematical background that arises there. Examples drawn from computer science are only hinted at: the presentation seeks to complement and not to preempt other contributions to these ACMMPC Proceedings.

Publication status:: Published

Actions

Email

Email this record

Send the bibliographic details of this record to your email address.

Your Email
Please enter the email address that the record information will be sent to.

-
Your message (optional)
Please add any additional information to be included within the email.
Share
Cite

Cite this record

APA Style

Priestley, H. (2002). Ordered sets and complete lattices - A primer for computer science. International Summer School and Workshop on Algebraic and Coalgebraic Methods in the Mathematics of Program Construction, 2297, 21–78.

MLA Style

Priestley, H. “Ordered Sets and Complete Lattices - A Primer for Computer Science.” International Summer School and Workshop on Algebraic and Coalgebraic Methods in the Mathematics of Program Construction, vol. 2297, 2002, pp. 21–78.

Chicago Style

Priestley, H. 2002. “Ordered Sets and Complete Lattices - A Primer for Computer Science.” In International Summer School and Workshop on Algebraic and Coalgebraic Methods in the Mathematics of Program Construction, 2297:21–78.
Print

Authors

+ Priestley, H More by this author

Institution:: University of Oxford
Division:: MPLS
Department:: Mathematical Institute
Role:: Author

Journal:: ALGEBRAIC AND COALGEBRAIC METHODS IN THE MATHEMATICS OF PROGRAM CONSTRUCTION More from this journal
Volume:: 2297
Pages:: 21-78
Publication date:: 2002-01-01
Event title:: International Summer School and Workshop on Algebraic and Coalgebraic Methods in the Mathematics of Program Construction
ISSN:: 0302-9743
ISBN:: 3540436138

Pubs id:: pubs:28941
UUID:: uuid:d9073b5d-a0e3-41bd-afd1-dbe86caea82c
Local pid:: pubs:28941
Source identifiers:: 28941
Deposit date:: 2012-12-19
ARK identifier:: ark:/29072/ora_d9073b5da0e341bdafd1dbe86caea82c

Terms of use

Copyright date:: 2002

Licence:: Terms and Conditions of Use for Oxford University Research Archive

Views and Downloads

About views and downloads

If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP