A modular construction of type theories
From MaRDI portal
Publication:5883738
DOI10.46298/lmcs-19(1:12)2023OpenAlexW4320723398MaRDI QIDQ5883738
Could not fetch data.
Publication date: 22 March 2023
Published in: (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/2111.00543v6
Could not fetch data.
Could not fetch data.