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.
NSF Summer Workshop, Nov. 87