Zobrazeno 1 - 6
of 6
pro vyhledávání: '"Gabe Dijkstra"'
Autor:
Thorsten Altenkirch, Fredrik Nordvall Forsberg, Paolo Capriotti, Gabe Dijkstra, Nicolai Kraus
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783319893655
FoSSaCS
FoSSaCS
Higher inductive types (HITs) in Homotopy Type Theory allow the definition of datatypes which have constructors for equalities over the defined type. HITs generalise quotient types, and allow to define types with non-trivial higher equality types, su
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::228400bde5f2f34b2264640f02316869
https://strathprints.strath.ac.uk/63612/1/Altenkirch_etal_FSSCS_2018_Quotient_inductive_inductive.pdf
https://strathprints.strath.ac.uk/63612/1/Altenkirch_etal_FSSCS_2018_Quotient_inductive_inductive.pdf
Publikováno v:
Logical Methods in Computer Science (LMCS); 2022, Vol. 18 Issue 2, p1-37, 37p
Autor:
VELTRI, NICCOLÒ, VAN DER WEIDE, NIELS
Publikováno v:
Logical Methods in Computer Science (LMCS); 2021, Vol. 17 Issue 2, p1-42, 42p
Publikováno v:
International Journal of Artificial Intelligence in Education (Springer Science & Business Media B.V.); Mar2017, Vol. 27 Issue 1, p65-100, 36p
Autor:
Altenkirch, Thorsten, Kaposi, Ambrus
Publikováno v:
ACM / SIGPLAN Notices; Jan2016, Vol. 51 Issue 1, p18-29, 12p
Autor:
Christel Baier, Ugo Dal Lago
This book constitutes the proceedings of the 21st International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2018, which took place in Thessaloniki, Greece, in April 2018, held as part of the European Joint Conf