Departmental Bulletin Paper On Styles of $lambda$2-Terms : Extended Abstract (Proof Theory, Computation Theory and Related Topics)

藤田, 憲悦

1950pp.73 - 92 , 2015-06 , 京都大学数理解析研究所
ISSN:1880-2818
NCID:AN00061013
Full-Text

http://repository.kulib.kyoto-u.ac.jp/dspace/bitstream/2433/223935/1/1950-07.pdf

Number of accesses :  

Other information