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
|