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

  Julian Biendarra ¹ AuthorId : 1620220
Author

  Jasmin Christian Blanchette ^{2, 3, 4} AuthorId : 1620200
Author

  Aymeric Bouzy ⁵ AuthorId : 1420051
Author

  Martin Desharnais ⁶ AuthorId : 1620222
Author

  Mathias Fleury ^{2, 3} AuthorId : 1229340
Author IdHAL : mathias-fleury ORCID : https://orcid.org/0000-0002-1705-3083

  Johannes Hölzl ⁷ AuthorId : 1620223
Author

  Ondřej Kunčar ¹ AuthorId : 1620224
Author

  Andreas Lochbihler ⁸ AuthorId : 1420052
Author

  Fabian Meier ⁹ AuthorId : 1620225
Author

  Lorenz Panny ¹⁰ AuthorId : 1620226
Author

  Andrei Popescu ^{11, 12} AuthorId : 1422622
Author IdHAL : andrei-popescu

  Christian Christian Sternagel ¹³ AuthorId : 1620227
Author

  René Thiemann ¹³ AuthorId : 1267846
Author

  Dmitriy Traytel ⁸ AuthorId : 1230204
Author