%0 Journal Article
%A Vaux, Lionel
%T A non-uniform finitary relational semantics of system $T$
%J RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
%D 2013
%P 111-132
%V 47
%N 1
%I EDP-Sciences
%U http://www.numdam.org/articles/10.1051/ita/2012031/
%R 10.1051/ita/2012031
%G en
%F ITA_2013__47_1_111_0