RUS
ENG
Full version
PEOPLE
Hatcher William
Publications in Math-Net.Ru
Models of linear logic
Zap. Nauchn. Sem. POMI
,
220
(1995),
23–35
©
Steklov Math. Inst. of RAS
, 2024
