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

MLA

Fabian Meier, et al. Foundational (Co)Datatypes and (Co)Recursion for Higher-Order Logic. Aug. 2017. EBSCOhost, https://doi.org/10.5281/zenodo.3228084.

APA

Fabian Meier, Andrei Popescu, Mathias Fleury, René Thiemann, Christian Sternagel, Aymeric Bouzy, Julian Biendarra, Johannes Hölzl, Dmitriy Traytel, Jasmin Christian Blanchette, Lorenz Panny, Andreas Lochbihler, Ondřej Kunčar, & Martin Desharnais. (2017). Foundational (Co)datatypes and (Co)recursion for Higher-Order Logic. https://doi.org/10.5281/zenodo.3228084

Chicago

Fabian Meier, Andrei Popescu, Mathias Fleury, René Thiemann, Christian Sternagel, Aymeric Bouzy, Julian Biendarra, et al. 2017. “Foundational (Co)Datatypes and (Co)Recursion for Higher-Order Logic,” August. doi:10.5281/zenodo.3228084.