Summary
The mathematical theory of Stone duality underlies a deep connection between syntax and semantics in logic and theoretical computer science, and allows for powerful applications in both of these research fields. The overall objective of this project was to apply the...
More information & hyperlinks
| Web resources: | http://www.samvangool.net/dflow.html |
