Definedness and Strictness in Generator Inductive DefinitionsAuthorsO. Lysne and O. OweStatusPublishedPublication typeTechnical ReportsYear of publication1991Journal-PublisherDepartment of Informatics, University of OsloNotesAlso presented at the 3rd Nordic Workshop on Program Correctness, Göteborg (Sweden)Citation key12995Google Scholar BibTex