About me
My name is Michele (/miˈkɛːle/) De Pascalis.
I am a PhD student at the Logic and Semantics Group at TalTech, under the supervision of Tarmo Uustalu and Niccolò Veltri. I research type theory, currently focusing on containers.
My name is Michele (/miˈkɛːle/) De Pascalis.
I am a PhD student at the Logic and Semantics Group at TalTech, under the supervision of Tarmo Uustalu and Niccolò Veltri. I research type theory, currently focusing on containers.