文献

J-GLOBAL ID：201202267346289523   整理番号：12A1501958

領域自由λ算法における型確認と型付け可能性

Type checking and typability in domain-free lambda calculi

著者 (4件)： NAKAZAWA Koji (Kyoto Univ., Kyoto, JPN) ,  TATSUTA Makoto (National Inst. of Informatics, JPN) ,  KAMEYAMA Yukiyoshi (Univ. Tsukuba, JPN) ,  NAKANO Hiroshi (Ryukoku Univ., JPN)
資料名： Theoretical Computer Science  (Theoretical Computer Science)
巻： 412  号： 44  ページ： 6193-6207  発行年： 2011年 
JST資料番号： T0022A  ISSN： 0304-3975  CODEN： TCSDIQ  資料種別： 逐次刊行物 (A)
発行国： オランダ (NLD)  言語： 英語 (EN)

タイトルに関連する用語 (4件)： λ算法 ,  型 ,  型付け ,  可能性