FOLLY
发表于 2025-3-28 17:59:45
Pregroup Grammars, Their Syntax and Semantics,faces an ambiguity problem. In his latest book, Lambek suggests that this problem might be overcome using finite dimensional vector spaces rather than sets. What is the right notion of composition in this setting, direct sum or tensor product of spaces?
欢乐东方
发表于 2025-3-28 22:04:49
http://reply.papertrans.cn/51/5010/500958/500958_42.png
得体
发表于 2025-3-29 00:41:51
http://reply.papertrans.cn/51/5010/500958/500958_43.png
先行
发表于 2025-3-29 03:57:07
http://reply.papertrans.cn/51/5010/500958/500958_44.png
时代
发表于 2025-3-29 08:05:26
Extensions of Lambek Calculi,The Lambek calculus (associative and nonassociative) is a basis of a rich family of formal logics: type logics for categorial grammars, substructural logics, linear logics and multi-modal logics. This paper briefly discusses these developments.
生来
发表于 2025-3-29 11:41:15
Aspects of Categorical Recursion Theory,We present a survey of some developments in the general area of category-theoretic approaches to the theory of computation, with a focus on topics and ideas particularly close to the interests of Jim Lambek.
somnambulism
发表于 2025-3-29 15:38:58
http://reply.papertrans.cn/51/5010/500958/500958_47.png
未成熟
发表于 2025-3-29 20:47:45
http://reply.papertrans.cn/51/5010/500958/500958_48.png
Resistance
发表于 2025-3-30 02:33:07
http://reply.papertrans.cn/51/5010/500958/500958_49.png