@misc{Demeterova_Emilia_A,
 author={Demeterova, Emilia and Mihalyi Daniel and Novitzka Valerie},
 howpublished={online},
 publisher={Wydaw. Politechniki Częstochowskiej},
 language={eng},
 type={artykuł},
 title={A categorical model of predicate linear logic},
 keywords={linear type theory, predicate linear logic, symmetric monoidal closed category},
}