ETAPS 2019 (series) / FOSSACS 2019 (series) / FOSSACS 2019 /
Causality in Linear Logic: Full Completeness and Injectivity (unit-free multiplicative-additive fragment)
Tue 9 Apr
14:00 - 14:30 Talk | Link to publication | |||||||||||||||||||||||||||||||||||||||||
14:30 - 15:00 Talk | Link to publication | |||||||||||||||||||||||||||||||||||||||||
15:00 - 15:30 Talk | Link to publication | |||||||||||||||||||||||||||||||||||||||||
15:30 - 16:00 Talk | Link to publication |