Skip to content

Linear Logic Tutorial

Jump to bottom
Olivier Laurent edited this page Oct 8, 2021 · 8 revisions
  1. ⊢ A⊥⅋A
  2. ⊢ A, B⊥⊗A⊥, B
Clone this wiki locally