%0 Journal Article
%A Kyewon Koh Park
%T α-Equivalence
%J Studia Mathematica
%D 1998
%P 9-21
%V 130
%N 1
%U http://geodesic.mathdoc.fr/articles/10.4064/sm-130-1-9-21/
%R 10.4064/sm-130-1-9-21
%G fr
%F 10_4064_sm_130_1_9_21