LIPIcs, Volume 336, TYPES 2024, Complete Volume

Møgelberg, Rasmus Ejlers; van den Berg, Benno

doi:10.4230/LIPIcs.TYPES.2024

Document

LIPIcs, Volume 336, TYPES 2024, Complete Volume

Authors Rasmus Ejlers Møgelberg , Benno van den Berg

Part of: Volume: 30th International Conference on Types for Proofs and Programs (TYPES 2024)
Part of: Series: Leibniz International Proceedings in Informatics (LIPIcs)
Part of: Conference: International Conference on Types for Proofs and Programs (TYPES)
License: Creative Commons Attribution 4.0 International license
Publication Date: 2025-07-03

PDF

File

PDF

LIPIcs.TYPES.2024.pdf

Filesize: 5.89 MB
190 pages

Document Identifiers

DOI: 10.4230/LIPIcs.TYPES.2024
URN: urn:nbn:de:0030-drops-237954

Subject Classification

ACM Subject Classification

Theory of computation → Categorical semantics
Theory of computation → Constructive mathematics
Theory of computation → Denotational semantics
Theory of computation → Type theory
Theory of computation → Lambda calculus
Software and its engineering → Functional languages

Keywords

LIPIcs, Volume 336, TYPES 2024, Complete Volume

Metrics

Access Statistics
Total Accesses (updated on a weekly basis)

0

PDF Downloads

0

Metadata Views

Abstract

LIPIcs, Volume 336, TYPES 2024, Complete Volume

Cite As Get BibTex

30th International Conference on Types for Proofs and Programs (TYPES 2024). Leibniz International Proceedings in Informatics (LIPIcs), Volume 336, pp. 1-190, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025) https://doi.org/10.4230/LIPIcs.TYPES.2024

Author Details

Rasmus Ejlers Møgelberg

IT University of Copenhagen, Denmark

Benno van den Berg

University of Amsterdam, The Netherlands

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