Name:Jianlin Li

Bio:

I work with turnstiles. ⊢ ⊨ ⊤⊥ ∀ ∃ λ →

Country:Canada

Affiliation:University of Waterloo

Research interests:Logic, Programming Languages, Compiler, Program Verification