Inductive-inductive definitions.
Date first appeared online
DOI
Authors Forsberg F.
Journal Name
Volume

Documents