Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] Functional Data Structures and Algorithms: A P...

Email Gateway (Oct 20 2025 at 23:49):

From: Tobias Nipkow <nipkow@in.tum.de>
has finally been published by ACM Books here:
https://dl.acm.org/doi/book/10.1145/3731369

Of course you can download it for free, but the fancy cover art is yours only if
you buy a printed copy. It will be the crown jewel under any Christmas tree!

Enjoy!
Tobias

smime.p7s

Last updated: Nov 09 2025 at 20:21 UTC