From universal logic to computer science, and back (abstract)
Computer Science has been long viewed as a consumer of mathematics
in general, and of logic in particular, with few and minor
contributions back. In this article we are challenging this view with
the case of the relationship between specification theory and the
universal trend in logic.
back to Selected Publications