@alyta@mathstodon.xyz
Joined: 07/15/2023
Master's student in logic at the Institute for Logic, Language & Computation in Amsterdam. She/Her.
I'm interested in the connection between computation and topology, and how logic fits into this connection. Concretely, it means I'm into stuff like domain theory and topos theory.
alyta has no public lists
alyta has no activity yet