Definedness and Strictness in Generator Inductive Definitions

Definedness and Strictness in Generator Inductive Definitions

Authors
O. Lysne and O. Owe