Fingerprint
Untersuchen Sie die Forschungsthemen von „Foundational (co)datatypes and (co)recursion for higher-order logic“. Zusammen bilden sie einen einzigartigen Fingerprint.- sortieren
- Gewicht:
- Alphabetisch
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
- TUM - Lehrstuhl für Architekturinformatik, Prof. Dr.-Ing. Frank Petzold
- 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
Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung
14
Zitate
(Scopus)