Front Matter, Table of Contents, Preface, Conference Organization
- Rasmus Ejlers Møgelberg(Editor),
- Benno van den Berg(Editor)
- ,
- ,
- University of Amsterdam
Research Output:
Conference Article in Proceeding or Book/Report chapter
Preface/postscript
Peer-review
Open access
Publication Information
Output type
Research Output:
Conference Article in Proceeding or Book/Report chapter
Preface/postscript
Peer-reviewOriginal language
EnglishPages from-to (Number of pages)
Pages 1-190 (190 pages)Publication milestones
- Published - 03/07/2025
Publication status
Published - 03/07/2025
Publisher
Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbHBook series
- Book series name: Leibniz International Proceedings in Informatics
Volume: 336
ISSN: 1868-8969
ISBN (Print)
978-3-95977-376-8Publication IDs
- Scopus: 105010320630
Host publication title
Leibniz International Proceedings in Informatics, LIPIcsAbstract
The TYPES meetings are a forum to present new and ongoing work in all aspects of type theory and its applications, especially in formalized and computer assisted reasoning and computer programming. This volume constitutes the post-proceedings of the 30th International Conference on Types for Proofs and Programs, TYPES 2024, that was held at the IT University of Copenhagen, Denmark, from 10 to 14 June 2024.
Related Event
Title
International Conference on Types for Proofs and Programs
Event type
ConferenceDate
10/06/2024 - 14/06/2024Location
IT University of CopenhagenCopenhagenDenmark