Pieter Collins. A computable type theory for control systems. In Proceedings of the 48th IEEE Conference on Decision and Control, CDC 2009, combined withe the 28th Chinese Control Conference, December 16-18, 2009, Shanghai, China. pages 5538-5543, IEEE, 2009. [doi]
Abstract is missing.