Two-level type theory and applications - ERRATUM

DOI10.1017/s096012952300021xMaRDI QIDQ6149963

Danil Annenkov, Paolo Capriotti, Nicolai Kraus, Christian Sattler

Publication date: 5 March 2024

Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)

Mathematics Subject Classification ID

Computer science (68-XX)

This page was built for publication: Two-level type theory and applications - ERRATUM