Consistency argument and classification problem in λ-calculus

Autoria(s): Ju Wang; Xishun Zhao; Qieyuan Huang; Jiang Ying
Data(s)

1999
Identificador

http://ir.iscas.ac.cn/handle/311060/4588

http://www.irgrid.ac.cn/handle/1471x/66950
Fonte

Ju Wang; Xishun Zhao; Qieyuan Huang; Jiang Ying.Consistency argument and classification problem in λ-calculus,Science in China Series E: Technological Sciences,1999,42(5):502-506
Tipo

期刊论文
Acesso ao item digital