Susanna Ginali

1950

• Iterative algebraic theories, infinite trees and program schemata