×

Found 9 Documents (Results 1–9)

100
MathJax

An application of proof-nets to the study of fragments of the Lambek calculus. (English. Russian original) Zbl 1231.03022

Izv. Math. 75, No. 3, 631-663 (2011); translation from Izv. Ross. Akad. Nauk, Ser. Mat. 2011, No. 3, 189-222 (2011).
PDF BibTeX XML Cite
Full Text: DOI

Filter Results by …

Document Type

Reviewing State

all top 5

Year of Publication

Classification