A coinductive completeness proof for the equivalence of recursive types
scientific article; zbMATH DE number 1774111
scientific article