?
Samson Abramsky on Logic and Structure in Computer Science and Beyond; Outstanding Contributions to Logic ,
10
Lambek–Grishin Calculus: Focusing, Display and Full Polariz..:
, In:
?
Logic and Its Applications; Lecture Notes in Computer Science ,
13