Foundational (Co)datatypes and (Co)recursion for Higher-Order Logic

Summary

This is a publication. If there is no link to the publication on this page, you can try the pre-formated search via the search engines listed on this page.

Authors: Julian Biendarra, Jasmin Christian Blanchette, Aymeric Bouzy, Martin Desharnais, Mathias Fleury, Johannes Hölzl, Ondřej Kunčar, Andreas Lochbihler, Fabian Meier, Lorenz Panny, Andrei Popescu, Christian Sternagel, René Thiemann, Dmitriy Traytel

Journal title: 11th International Symposium on Frontiers of Combining Systems (FroCoS 2017)

Journal publisher: Springer

Published year: 2017

Published pages: 3-21

DOI identifier: 10.5281/zenodo.3228084