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
[email protected]Profile Code
nprofile1qqszmym4kasy49e637978ekzwwdam9pxw9f9hewp8rk9ll87xcfp4qqprpmhxue69uhhyetvv9ujumt0d4hhxarj9ecxjmntssnkqjPublishing to
relay.momostr.pink relay.momostr.pink
Author Public Key
npub19kfhtdmqf2tn4rutu0nvyuummk2zvu2jt0juzw8vtl70udsjr2qqsq3032