Registered user since Fri 27 Jun 2025
Name:Jianlin Li
Bio:
I work with turnstiles. ⊢ ⊨ ⊤⊥ ∀ ∃ λ →
Country:Canada
Affiliation:University of Waterloo
Personal website: https://jianlin-herman-li.github.io/
Research interests:Logic, Programming Languages, Compiler, Program Verification
Contributions
2025
Using general profile