A modular construction of type theories

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

zbMATH Keywords

Could not fetch data.

Mathematics Subject Classification ID

Could not fetch data.