高階書換え系における引数切り落とし法と実効規則

No description available.

1. http://hdl.handle.net/2237/21104
2. http://ci.nii.ac.jp/naid/110008001253
3. 0913-5685
4. 電子情報通信学会技術研究報告SS, ソフトウェアサイエンス. v.109, n.343, 2009, p.25-30

Identifer	oai:union.ndltd.org:NAGOYA/oai:ir.nul.nagoya-u.ac.jp:2237/21104
Date	12 1900
Creators	NISHIDA, Naoki, SAKAI, Masahiro, SAKABE, Toshiki, KUSAKARI, Keiichirou, SUZUKI, Sho, 西田, 直樹, 酒井, 正彦, 坂部, 俊樹, 草刈, 圭一朗, 鈴木, 翔
Publisher	一般社団法人電子情報通信学会
Source Sets	Nagoya University
Language	Japanese
Detected Language	Japanese
Type	Article(publisher)
Rights	(c)一般社団法人電子情報通信学会。本文データは学協会の許諾に基づきCiNiiから複製したものである