O. Owe

O. Owe

External collaborator

Publications

Simula-affiliated publications listed

1991

Technical reports

O. Lysne and O. Owe

Definedness and Strictness in Generator Inductive Definitions