120
click to vote
ENTCS
2010
15 years 3 months ago
2010
Focalization property is a deep outcome of linear logic proof theory, putting to the foreground the role of polarity in logic. It resulted an important advances in various fields, ...