ISBN | 9781369008296 | ||
---|---|---|---|
作者 | Worth, Andrew Christopher. | 授予学位单位 | The Ohio State University. |
导师 | Pollard, Carl;Levine, Robert | 学位 | Ph.D. |
学科 | Linguistics. Logic. Computer science. | 国籍 | US |
页码/总页数 | 190 p. / 190 | 出版年 | 2016 |
中图分类号 | H0, TP | ||
关键词 | Coordination Higher order logic Iterated coordination Lambda calculus Linear logic Unlike category coordination |