Alyssa Renata
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.
Website: https://alyata.github.io/
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.
Website: https://alyata.github.io/
Public Key
npub19kfhtdmqf2tn4rutu0nvyuummk2zvu2jt0juzw8vtl70udsjr2qqsq3032NIP-05 Address
alyta_at_mathstodon.xyz@momostr.pinkProfile Code
nprofile1qqszmym4kasy49e637978ekzwwdam9pxw9f9hewp8rk9ll87xcfp4qqpz3mhxue69uhhyetvv9ujuerpd46hxtnfduqs6amnwvaz7tmwdaejumr0ds6q3u8hAuthor Public Key
npub19kfhtdmqf2tn4rutu0nvyuummk2zvu2jt0juzw8vtl70udsjr2qqsq3032