Jianlin Li

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