Regular language representations in the constructive type theory of Coq
scientific article; zbMATH DE number 6921423
scientific article