Hugo Herbelin
Proving with Side Effects
TLCA, 2013.
@inproceedings{TLCA-2013-Herbelin, author = "Hugo Herbelin", booktitle = "{Proceedings of the 11th International Conference on Typed Lambda Calculi and Applications}", doi = "10.1007/978-3-642-38946-7_2", isbn = "['978-3-642-38945-0', '978-3-642-38946-7']", pages = "2", publisher = "{Springer International Publishing}", series = "{Lecture Notes in Computer Science}", title = "{Proving with Side Effects}", volume = 7941, year = 2013, }