Ordered Functional Decision Diagrams: A Functional Semantics For Binary Decision Diagrams

Joan Thibault, Khalil Ghorbal

We introduce a novel framework, termed $\lambda$DD, that revisits Binary Decision Diagrams from a purely functional point of view. The framework allows to classify the already existing v…