Causality in Linear Logic: Full Completeness and Injectivity (unit-free multiplicative-additive fragment) (FOSSACS 2019 )

Sat 6 - Thu 11 April 2019 Prague, Czech Republic

Who

Simon Castellan, Nobuko Yoshida

Track

When

Tue 9 Apr 2019 15:00 - 15:30 at MOON - Resource Logics Chair(s): Andrew Pitts

Link to Publication

Session Program

14:00 - 16:00: FOSSACS 2019 - Resource Logics at MOON
Chair(s): Andrew PittsUniversity of Cambridge

14:00 - 14:30
Talk

14:30 - 15:00
Talk

15:00 - 15:30
Talk

Causality in Linear Logic: Full Completeness and Injectivity (unit-free multiplicative-additive fragment)

Simon CastellanImperial College London, UK, Nobuko YoshidaImperial College London

15:30 - 16:00
Talk

Causality in Linear Logic: Full Completeness and Injectivity (unit-free multiplicative-additive fragment)