Non-existent Statman's Double Fixed Point Combinator Does Not Exist, Indeed
نویسندگان
چکیده
منابع مشابه
The Optimal Fixed Point Combinator
In this paper, we develop a general theory of fixed point combinators, in higher-order logic equipped with Hilbert’s epsilon operator. This combinator allows for a direct and effective formalization of corecursive values, recursive and corecursive functions, as well as functions mixing recursion and corecursion. It supports higher-order recursion, nested recursion, and offers a proper treatment...
متن کاملThe Optimal Fixed Point Combinator — Long Version
In this paper, we develop a general theory of fixed point combinators, in higher-order logic equipped with Hilbert’s epsilon operator. This combinator allows for a direct and effective formalization of corecursive values, recursive and corecursive functions, as well as functions mixing recursion and corecursion. It supports higherorder recursion, nested recursion, and offers a proper treatment ...
متن کاملA Variadic Extension of Curry's Fixed-Point Combinator
We present a systematic construction of a variadic applicative-order multiple fixed-point combinator in Scheme. The resulting Scheme procedure is a variadic extension of the n-ary version of Curry’s fixed-point combinator. It can be used to create mutually-recursive procedures, and expand arbitrary letrec-expressions.
متن کاملProof Pearl: A Practical Fixed Point Combinator for Type Theory
Type theories need to enforce some restrictions on recursive definitions in order to remain sound. Depending on the implementation, these restrictions may prevent the user from defining recursive functions as conveniently as in a functional programming language. This paper describes a fixed point combinator that can be applied to any functional. A fixed point equation can be derived for the rec...
متن کاملQuantum nonlocality does not exist.
Quantum nonlocality is shown to be an artifact of the Copenhagen interpretation, in which each observed quantity has exactly one value at any instant. In reality, all physical systems obey quantum mechanics, which obeys no such rule. Locality is restored if observed and observer are both assumed to obey quantum mechanics, as in the many-worlds interpretation (MWI). Using the MWI, I show that th...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Information and Computation
سال: 1997
ISSN: 0890-5401
DOI: 10.1006/inco.1997.2633