Constructively formalizing automata theory

Robert L. Constable, Paul B. Jackson, Pavel Naumov, Juan C. Uribe. Constructively formalizing automata theory. In Gordon D. Plotkin, Colin Stirling, Mads Tofte, editors, Proof, Language, and Interaction, Essays in Honour of Robin Milner. pages 213-238, The MIT Press, 2000.

Abstract

Abstract is missing.