搜索历史记录选项已关闭，请开启搜索历史记录选项。
作者： Jean-Louis Krivine
DOI:
关键词: Mathematics
摘要:
暂无可下载资源，当前可以选择系统获取到有开放资源时 通知我或者直接发起求助 文献求助
LSFA,2011, 引用: 0
Information & Computation,2017, 引用: 15
,2008, 引用: 2
,2010, 引用: 0
international conference on typed lambda calculi and applications,1997, 引用: 11
The Logic of Categorial Grammars,2012, 引用: 1
Lecture Notes in Computer Science,2007, 引用: 17
international conference on typed lambda calculi and applications,2013, 引用: 12
Theoretical Informatics and Applications,1996, 引用: 4
italian conference on theoretical computer science,2003, 引用: 4
