Theoretical Computer Science and General Issues

Algebra and Coalgebra in Computer Science

Third International Conference, CALCO 2009, Udine, Italy, September 7-10, 2009, Proceedings

Editors: Kurz, Alexander, Lenisa, Marina (Eds.)

Buy this book

eBook $99.00
price for USA (gross)
  • ISBN 978-3-642-03741-2
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $129.00
price for USA
  • ISBN 978-3-642-03740-5
  • Free shipping for individuals worldwide
  • Online orders shipping within 2-3 days.

Table of contents (32 chapters)

  • Adequacy for Infinitary Algebraic Effects (Abstract)

    Plotkin, Gordon

    Pages 1-2

  • Algebras for Parameterised Monads

    Atkey, Robert

    Pages 3-17

  • Kleene Monads: Handling Iteration in a Framework of Generic Effects

    Goncharov, Sergey (et al.)

    Pages 18-33

  • Complete Iterativity for Algebras with Effects

    Milius, Stefan (et al.)

    Pages 34-48

  • Semantics of Higher-Order Recursion Schemes

    Adámek, Jiří (et al.)

    Pages 49-63

Buy this book

eBook $99.00
price for USA (gross)
  • ISBN 978-3-642-03741-2
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $129.00
price for USA
  • ISBN 978-3-642-03740-5
  • Free shipping for individuals worldwide
  • Online orders shipping within 2-3 days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Algebra and Coalgebra in Computer Science
Book Subtitle
Third International Conference, CALCO 2009, Udine, Italy, September 7-10, 2009, Proceedings
Editors
  • Alexander Kurz
  • Marina Lenisa
Series Title
Theoretical Computer Science and General Issues
Series Volume
5728
Copyright
2009
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-642-03741-2
DOI
10.1007/978-3-642-03741-2
Softcover ISBN
978-3-642-03740-5
Edition Number
1
Number of Pages
XI, 457
Topics