Gérard Y. Vichniac
-
Elementary Differential Calculus on Discrete and Hybrid Structures
LFCS '07 Proceedings of the international symposium on Logical Foundations of Computer Science