Infinite Lists

David Trachtenherz. Infinite Lists. Archive of Formal Proofs, 2011, 2011. [doi]

Abstract

Abstract is missing.