Data Types with Symmetries via Action Containers
author
Joram, Philipp
Veltri, Niccolo
statement of authorship
Philipp Joram, Niccolò Veltri
source
30th International Conference on Types for Proofs and Programs (TYPES 2024). Vol. 336 : proceedings
publisher
Schloss Dagstuhl – Leibniz-Zentrum für Informatik
year of publication
2025
pages
p. 6:1-6:21
series
Leibniz International Proceedings in Informatics (LIPIcs)
conference name, date
30th International Conference on Types for Proofs and Programs (TYPES 2024), TYPES 2024, June 10-14, 2024
conference location
Copenhagen, Denmark
url
https://doi.org/10.4230/LIPIcs.TYPES.2024.6
subject term
andmetüübid
programmeerimine
Agda (programmeerimiskeel)
keyword
Containers
Homotopy Type Theory
Agda
2-categories
ISSN
1868-8969
ISBN
978-3-95977-376-8
notes
Bibliogr.: 20 ref
Open Access
Open Access
scientific publication
teaduspublikatsioon
classifier
3.1
TalTech department
tarkvarateaduse instituut
language
inglise