## Tobias Nipkow

*Invited Talk: Embedding Programming Languages in Theorem Provers*

CADE, 1999.

@inproceedings{CADE-1999-Nipkow, author = "Tobias Nipkow", booktitle = "{Proceedings of the 16th International Conference on Automated Deduction}", doi = "10.1007/3-540-48660-7_38", isbn = "3-540-66222-7", pages = "398", publisher = "{Springer-Verlag}", series = "{Lecture Notes in Computer Science}", title = "{Invited Talk: Embedding Programming Languages in Theorem Provers}", volume = 1632, year = 1999, }