Sound, totally sound, and unsound recursive equivalence types
scientific article; zbMATH DE number 4019043
scientific article