partial algebra

Generalization of universal algebra to partial operations.

Catégories :