Consistency argument and classification problem in λ-calculus

	Consistency argument and classification problem in λ-calculus
	Ju Wang; Xishun Zhao; Qieyuan Huang; Jiang Ying
	1999
Source	Science in China Series E: Technological Sciences
Volume	42 Issue:5 Pages:502-506
Indexed Type	springer
Department	计算机科学国家重点实验室
Content Type	期刊论文
URI	http://ir.iscas.ac.cn/handle/311060/4588
Collection	基础软件与系统重点实验室
Recommended Citation GB/T 7714	Ju Wang,Xishun Zhao,Qieyuan Huang,et al. Consistency argument and classification problem in λ-calculus[J]. Science in China Series E: Technological Sciences,1999,42(5):502-506.
APA	Ju Wang,Xishun Zhao,Qieyuan Huang,&Jiang Ying.(1999).Consistency argument and classification problem in λ-calculus.Science in China Series E: Technological Sciences,42(5),502-506.
MLA	Ju Wang,et al."Consistency argument and classification problem in λ-calculus".Science in China Series E: Technological Sciences 42.5(1999):502-506.

Related Services

Bookmark

Google Scholar

Similar articles in Bing Scholar

Terms of Use

No data!

Social Bookmark/Share

All comments (0)

No comment.

The comment function is only available to registered usersLog In

If you have any objections to this item, please fill out the form below and the administrator will contact you as soon as possible.
Content:
Email：	*
Institution:
Verification Code:	Refresh

Any comments and suggestions are welcomed.
Title:	*
Content:
Email：	*
Verification Code:	Refresh

中国科学院软件研究所机构知识库