Algebraic and coalgebraic methods in the mathematics of program construction : international summer school and workshop Oxford, UK, April 10-14, 2000 : revised lectures / Roland Backhouse, Roy Crole, Jeremy Gibbons (eds.).

Author/creator School on Algebraic and Co-algebraic Methods in the Mathematics of Program Construction
Other author Backhouse, Roland C., 1948-
Other author Crole, Roy L.
Other author Gibbons, Jeremy, 1966-
Format Electronic
Publication InfoBerlin ; New York : Springer, ©2002.
Descriptionxiv, 385 pages : illustrations ; 24 cm.
Supplemental ContentRestricted to Springer LINK subscribers
Subjects
Computer programming--Congresses.
Computer science--Mathematics. --Congresses.
Algebra--Congresses.

SeriesLecture notes in computer science, 0302-9743 ; 2297. Lecture notes in artificial intelligence
Lecture notes in computer science 2297. ^A466336
Lecture notes in computer science. Lecture notes in artificial intelligence. ^A467263
Contents Ordered sets and complete lattices / Hilary A. Priestley -- Algebras and coalgebras / Peter Aczel -- Galois connections and fixed point calculus / Roland Backhouse -- Calculating functional programs / Jeremy Gibbons -- Algebra of program termination / Henk Doornbos and Roland Backhouse -- Exercises in coalgebraic specification / Bart Jacobs -- Algebraic methods for optimization problems / Richard Bird, Jeremy Gibbons, and Shin-Cheng Mu -- Temporal algebra / Burghard von Karger.
Bibliography noteIncludes bibliographical references and index.
Other formsAlso available via the World Wide Web.
LCCN 2002021781
ISBN3540436138 (softcover : acid-free paper)

Availability

Library Location Call Number Status Item Actions
Joyner General Stacks QA76.6 .S415 2000 ✔ Available Place Hold