Items where authors include "Lochbihler, A."
Proceedings Paper
Blanchette, J.C., Bouzy, A., Lochbihler, A. et al. (2 more authors) (2017) Friends with benefits: implementing corecursion in foundational proof assistants. In: Yang, H., (ed.) Programming Languages and Systems: 26th European Symposium on Programming, ESOP 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22–29, 2017, Proceedings. 26th European Symposium on Programming, ESOP 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, 22-29 Apr 2017, Uppsala, Sweden. Lecture Notes in Computer Science, LNTCS,volume 10201 . Springer Berlin Heidelberg , pp. 111-140. ISBN 9783662544334