[学位论文]
  • Worth, Andrew Christopher.
  • The Ohio State University.
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