The Informatic Derivative at a Compact Element

Authors:
Keye Martin
Affiliations:
-
Venue:
FoSSaCS '02 Proceedings of the 5th International Conference on Foundations of Software Science and Computation Structures
Year:
2002

Citing 5
Cited 1

Domain theory

Handbook of logic in computer science (vol. 3)
A Renee Equation for Algorithmic Complexity

TACS '01 Proceedings of the 4th International Symposium on Theoretical Aspects of Computer Software
The Measurement Process in Domain Theory

ICALP '00 Proceedings of the 27th International Colloquium on Automata, Languages and Programming
A Principle of Induction

CSL '01 Proceedings of the 15th International Workshop on Computer Science Logic
A foundation for computation

A foundation for computation

Informatic vs. Classical Differentiation on the Real Line

Electronic Notes in Theoretical Computer Science (ENTCS)

Quantified Score

Hi-index	0.00

Visualization

Abstract

We extend the informatic derivative to compact elements in domains. This allows one to quantitatively analyze processes which manipulate both continuous and discrete data in a uniform manner.