Kulicki P. On minimal models for pure calculi of names. LLP [Internet]. 2013 Aug. 29 [cited 2025 Jul. 3];22(4):429-43. Available from: https://apcz.umk.pl/LLP/article/view/LLP.2013.023