Memo after a couple of lectures by Bellin, on Girard's (paper LL). Linear Logicand on Ketonen's (work, emended by Bellin, on). Direct Logic(DL)

Show full title
Archive der Universität Konstanz
Data provider's object view
Loading...