About leo
2nd year TCS PhD student at UBA.
Interested broadly in lambda calculus, realizability, linear logic, applications of algebra to lambda calculus, HOTT.
Interested in particular in the computational content of classical logic.
Lists
leolerena has no public lists
Timeline
leolerena has no activity yet