stefaniatadama/formalising-inductive-coinductive-containers

Damato, Stefania; Altenkirch, Thorsten; Ljungström, Axel

doi:10.4230/artifacts.24710

Artifact

stefaniatadama/formalising-inductive-coinductive-containers Software

Authors Stefania Damato , Thorsten Altenkirch , Axel Ljungström

Part of: Collection: Supplementary Materials
License: Creative Commons Attribution 4.0 International
Publication Date: 2025-09-22

Document Identifiers

DOI: 10.4230/artifacts.24710
URN: urn:nbn:de:0030-drops-247107

Author Details

Stefania Damato

School of Computer Science, University of Nottingham, UK

Thorsten Altenkirch

School of Computer Science, University of Nottingham, UK

Axel Ljungström

Department of Mathematics, Stockholm University, Sweden

Content

Version/Status

Content created at: 2025-04-03

Cite As Get BibTex

Stefania Damato, Thorsten Altenkirch, Axel Ljungström. stefaniatadama/formalising-inductive-coinductive-containers (Software). Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025) https://doi.org/10.4230/artifacts.24710

Metrics

Access Statistics
Total Accesses (updated on a weekly basis)

0

Metadata Views

Questions / Remarks / Feedback

Feedback for Dagstuhl Publishing

Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail