
Registered user since Fri 8 Jul 2022
Name:Tomasz Drab
Bio:
BSc 2016, MSc 2018, PhD 2022 (expected) at University of Wrocław
Country:Poland
Affiliation:University of Wrocław, Faculty of Mathematics and Computer Science
Personal website: https://ii.uni.wroc.pl/~tdr/
Research interests:Lambda calculus
Contributions
ICFP 2022-profile
View general profile
View general profile