An Alternate View of Synthesis

An Alternate View of Synthesis

m The encoding is simply a list (array?) of values for each member of the set

m The process is repeated until all types are encoded in terms of members of the type Boolean.

Previous slide Next slide Back to the first slide View Graphic Version