6 citations · 15 across the 13 of their papers we have counts for
Showing 2018Show all
2 papers · 1 filter
cs.LO2018
Classical linear logic, cobordisms and categorical semantics of categorial grammars
Sergey Slavnov
We propose a categorial grammar based on classical multiplicative linear logic. This can be seen as an extension of abstract categorial grammars (ACG) and is at least as expressive…
cs.LO2018★ 2 cited
Linear logic in normed cones: probabilistic coherence spaces and beyond
Sergey Slavnov
Ehrhard, Pagani and Tasson proposed a model of probabilistic functional programming in a category of normed positive cones and stable measurable cone maps, which can be seen as a c…