Domain Theory in Constructive and Predicative Univalent Foundations

From MaRDI portal

Publication:6424704

Jump to:navigation, search

arXiv2301.12405MaRDI QIDQ6424704

Tom de Jong

Publication date: 29 January 2023

This page was built for publication: Domain Theory in Constructive and Predicative Univalent Foundations

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