The Third Homomorphism Theorem
The Third Homomorphism Theorem is a folk theorem of the constructive algorithmics community. It states that a function on lists that can be computed both from left to right and from right to left is necessarily a list homomorphism - it can be computed according to any parenthesization of the list. W...
Main Author: | |
---|---|
Format: | Journal article |
Language: | English |
Published: |
1996
|