Algebraic Structures as Typed Objects.

Heinz Kredel, Raphael Jolly

Browse the full CASC paper archive.