A Lopez-Escobar Theorem for Continuous Domains
From MaRDI portal
Publication:6508542
zbMatharXiv:2301.09940MaRDI QIDQ6508542
Dino Rossegger, S. Vatev, Ekaterina B. Fokina, Alexandra Soskova, Nikolay Bazhenov
Publication date: 1 January 1
This page was built for publication: A Lopez-Escobar Theorem for Continuous Domains