%A NISHIZAKI, Shin-ya
%T Simply Typed Lambda Calculus with First-Class Environments
%J Publications of the Research Institute for Mathematical Sciences
%0 Journal Article
%@ 00345318
%I Kyoto University
%D 1994
%8 1994-12-00
%V 30
%N 6
%P 1055-1121
%U http://ci.nii.ac.jp/naid/110001050608/en/
%R