%0 Journal Article
%A Parys, Paweł
%T A Type System Describing Unboundedness
%J Discrete mathematics & theoretical computer science
%D 2020-2021
%V 22
%N 4
%I mathdoc
%U http://geodesic.mathdoc.fr/articles/10.23638/DMTCS-22-4-2/
%R 10.23638/DMTCS-22-4-2
%G en
%F DMTCS_2020_22_4_a0