Consensus
发表于 2025-3-27 00:51:03
http://reply.papertrans.cn/11/1027/102669/102669_31.png
synovial-joint
发表于 2025-3-27 01:13:58
http://reply.papertrans.cn/11/1027/102669/102669_32.png
逃避现实
发表于 2025-3-27 08:58:36
Hikaru Morita,Kazuo Ohta,Shoji Miyaguchiduced. Particular attention is devoted to the definitional power of a system of combinators,that is to the concept of “subbase”. Some results concerning the relations between specific subbases and their generative power are presented.
胆汁
发表于 2025-3-27 11:27:28
Lecture Notes in Computer Sciencehttp://image.papertrans.cn/012/image/102669.jpg
rheumatism
发表于 2025-3-27 14:41:21
λ-Calculus and Computer Science Theory978-3-540-37944-7Series ISSN 0302-9743 Series E-ISSN 1611-3349
filial
发表于 2025-3-27 18:47:15
http://reply.papertrans.cn/11/1027/102669/102669_36.png
palliative-care
发表于 2025-3-27 23:18:10
http://reply.papertrans.cn/11/1027/102669/102669_37.png
Aromatic
发表于 2025-3-28 02:30:22
https://doi.org/10.1007/3-540-48184-2 new rules may change a nonterminating computation into a terminating one. In paragraph 4 some families of expressions to which the rules added to R can be applied are defined. In paragraph 5 it is shown that the considered model is a uniformly reflexive structure.
碎片
发表于 2025-3-28 06:52:43
Hikaru Morita,Kazuo Ohta,Shoji Miyaguchiduced. Particular attention is devoted to the definitional power of a system of combinators,that is to the concept of “subbase”. Some results concerning the relations between specific subbases and their generative power are presented.
要素
发表于 2025-3-28 13:51:02
Mihir Bellare,Roch Guérin,Phillip Rogawayer, according to the mechanism chosen. A careful and detailed presentation of this result is given, along the lines of a simple typed lambda calculus, with interpretation rules modelling program execution in such a way that call-by-value determines a change in the environment and call-by-name a textual substitution in the procedure body.