Fingerprint
Dive into the research topics of 'Foundational (co)datatypes and (co)recursion for higher-order logic'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
Foundational (co)datatypes and (co)recursion for higher-order logic
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
- Technical University of Munich
- VU University Amsterdam
- Max-Planck Institute for Informatics
- InstantJob
- University of Munich
- Carnegie Mellon University
- ETH Zurich
- Google Switzerland GmbH
- Eindhoven University of Technology
- Middlesex University
- Institute of Mathematics of the Romanian Academy
- University of Innsbruck
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
14
Scopus
citations