LIPIcs, Volume 384, TYPES 2025, Complete Volume

Nordvall Forsberg, Fredrik; McKinna, James

doi:10.4230/LIPIcs.TYPES.2025

Document

LIPIcs, Volume 384, TYPES 2025, Complete Volume

Authors Fredrik Nordvall Forsberg , James McKinna

Part of: Volume: 31st International Conference on Types for Proofs and Programs (TYPES 2025)
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: 2026-07-30

PDF

File

PDF

LIPIcs.TYPES.2025.pdf

Filesize: 10.84 MB
346 pages

Document Identifiers

DOI: 10.4230/LIPIcs.TYPES.2025
URN: urn:nbn:de:0030-drops-275021

Subject Classification

ACM Subject Classification

Theory of computation → Categorical semantics
Theory of computation → Constructive mathematics
Theory of computation → Denotational semantics
Theory of computation → Logic and verification
Theory of computation → Type theory
Theory of computation → Quantum computation theory

Keywords

LIPIcs, Volume 384, TYPES 2025, Complete Volume

Metrics

Access Statistics
Total Accesses (updated on a weekly basis)

0

Document

0

Metadata

Abstract

LIPIcs, Volume 384, TYPES 2025, Complete Volume

Cite As Get BibTex

31st International Conference on Types for Proofs and Programs (TYPES 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 384, pp. 1-346, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026) https://doi.org/10.4230/LIPIcs.TYPES.2025

Author Details

Fredrik Nordvall Forsberg

University of Strathclyde, Glasgow, Scotland

James McKinna

Heriot-Watt University, Edinburgh, Scotland

Any Issues?

Feedback on the Current Page

Thanks for your feedback!

Feedback submitted to Dagstuhl Publishing

Could not send message

Please try again later or send an E-mail