使迷惑
发表于 2025-3-25 04:24:46
http://reply.papertrans.cn/11/1027/102669/102669_21.png
愤慨点吧
发表于 2025-3-25 11:34:00
Lecture Notes in Computer ScienceThe paper tries to answer the question: What is the relation between class abstraction and λ-abstraction in models for the λ-calculus?
狗舍
发表于 2025-3-25 12:33:09
http://reply.papertrans.cn/11/1027/102669/102669_23.png
轻快走过
发表于 2025-3-25 16:35:32
https://doi.org/10.1007/3-540-44647-8This paper discusses the problem of finding common instances to terms in typed λ-calculus. It is shown that here the notion of most general unifier must be extended. Complete sets of unifiers are defined, and their structure with respect to substitution composition is studied.
乐意
发表于 2025-3-25 21:34:49
Advances in Cryptology - CRYPTO 2002The purpose of this work is to show a necessary and sufficient condition by which two combinators (elements of a particular model of combinatory logic) can be identified without introducing contradictions with the axioms of combinatory logic itself.
松软
发表于 2025-3-26 01:53:33
http://reply.papertrans.cn/11/1027/102669/102669_26.png
In-Situ
发表于 2025-3-26 04:31:55
Mihir Bellare,Roch Guérin,Phillip Rogaway-name mechanisms yield the least fixed points of the functionals determined by the bodies of the procedures concerned. These functionals differ, however, according to the mechanism chosen. A careful and detailed presentation of this result is given, along the lines of a simple typed lambda calculus,
Nonporous
发表于 2025-3-26 10:13:00
Oded Goldreich,Shafi Goldwasser,Shai Halevi, Λ, onto a partially ordered set, ℂ.. The D.-value of X ε Λ is characterized by C(X) ε ℂ.. Extending the syntactical structure of ℂ. into ℂ., we generalize Λ to Λ., the infinite λ-expressions. The lattice topology of Λ and Λ. induced by D. is equivalent to the lattice topology of ℂ. Since ℂ. is ded
暴发户
发表于 2025-3-26 14:06:57
https://doi.org/10.1007/BFb0055715tion as in Scott or Welch . But with the help of the labelled calculus, any expression can be considered as the limit of expressions having a normal form. If we think of λ-expressions as programs, the interpretation <.> seems to be the minimal one to consider.Thus we expect that <.> is s
讨人喜欢
发表于 2025-3-26 18:51:06
Lecture Notes in Computer Science et quelles en sont les propriétés essentielles..Les résultats sont présentés dans la première partie de ce mémoire et démontrés dans la troisième; nous rappelons dans la seconde partie la définition des collections d‘algorithmes et certaines de leurs propriétés qui sont utilisées par la suite; nous