Special issue on homotopy type theory 2019 vol. 2

DOI10.1017/s0960129523000221MaRDI QIDQ6149947

No author found.

Publication date: 5 March 2024

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

Mathematics Subject Classification ID

Conference proceedings and collections of articles (00Bxx) Computer science (68-XX)

This page was built for publication: Special issue on homotopy type theory 2019 vol. 2