Jianlin Li

https://ljlin.github.io/ [email protected]

UWaterloo / ISCAS / UdS Waterloo / Beijing / Saarbrücken I work with turnstiles. ⊢ ⊨ ⊤⊥ ∀ ∃ λ →