no code implementations • 20 Mar 2020 • Joan Thibault, Khalil Ghorbal
We introduce a novel framework, termed $\lambda$DD, that revisits Binary Decision Diagrams from a purely functional point of view.
Negation