Functional Binomial Queues

René Neumann. Functional Binomial Queues. Archive of Formal Proofs, 2010, 2010. [doi]

Abstract

Abstract is missing.