Dominique Unruh

Homepages 🌐

• https://www.ut.ee/~unruh/
• https://qis.rwth-aachen.de/people/unruh/

E-Mails 📧

• ee.tu @hurnu

Entries

2024

Without Loss of Generality

by Dominique Unruh 🌐

Aug 30

With-Type – Poor man's dependent types

by Dominique Unruh 🌐

Aug 29

2021

Quantum and Classical Registers

by Dominique Unruh 🌐

Oct 28

Complex Bounded Operators

by José Manuel Rodríguez Caballero 🌐 and Dominique Unruh 🌐

Sep 18

2020

Banach-Steinhaus Theorem

by Dominique Unruh 🌐 📧 and José Manuel Rodríguez Caballero 🌐 📧

May 02