@inproceedings{BentkampITP2017,
TITLE = {A Formal Proof of the Expressiveness of Deep Learning},
AUTHOR = {Bentkamp, Alexander and Blanchette, Jasmin Christian and Klakow, Dietrich},
LANGUAGE = {eng},
ISBN = {978-3-319-66106-3},
DOI = {10.1007/978-3-319-66107-0_4},
PUBLISHER = {Springer},
YEAR = {2017},
DATE = {2017},
BOOKTITLE = {Interactive Theorem Proving (ITP 2017)},
EDITOR = {Avala-Rinc{\'o}n, Mauricio and Mu{\~n}oz, C{\'e}sar A.},
PAGES = {46--64},
SERIES = {Lecture Notes in Computer Science},
VOLUME = {10499},
ADDRESS = {Brasilia, Brazil},
}