Special issue on homotopy type theory 2019 vol. 2

From MaRDI portal

Revision as of 06:42, 10 July 2024 by Import240710060729 (talk | contribs) (Created automatically from import240710060729)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:6149947

Jump to:navigation, search

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

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:6149947&oldid=35623296"