The informatic derivative at a compact element
To appear at
Foundations of Software Science and Computation Structures (FOSSACS02), Grenoble, France, 6-14 April, 2002
We extend the informatic derivative to compact elements of domains. This enables one to quantitatively analyze processes on domains regardless of whether or not the data they manipulate is `continuous' or `discrete.'
14 Dec 2001 at 14:02:38