Lambek-Grishin Calculus: Focusing, Display and Full Polarization

DOI
DOI
arXiv
arXiv
Poster
Poster