Julian Biendarra, Christian Blanchette, Aymeric Bouzy, Martin Desharnais, Mathias Fleury, et al.. Foundational (Co)datatypes and (Co)recursion for Higher-Order Logic. Clare Dixon and Marcelo Finger. Frontiers of Combining Systems, 11th International Sympo
HAL Archives-Ouvertes,
Julian Biendarra, Christian Blanchette, Aymeric Bouzy, Martin Desharnais, Mathias Fleury, et al..