I have the equation Y = FY (fixed point equation). How to get of it the equation for F through other combinator (in particular S- combinator with first fixed parameter)?
How get Y combinator through S combinator or others?
132 Views Asked by kvendingoldo At
1
There are 1 best solutions below
Related Questions in LAMBDA-CALCULUS
- How could this Y' same as this Y combinator itself?
- Type information system recovery
- mock - church numerals?
- beta-equivalence, beta-reduction and transitive+reflexive beta-reduction
- Overlapping Days Calculation Nightmare
- Lambda Calculus - Evaluating Custom Rewrite Rules to Increment
- Is it possible, using PHOAS, to evaluate a term to normal form, and then stringify it?
- Are numbers also functions in functional programming?
- Valid Lambda Expressions
- 'Segmentation Fault' occurred when Lambda Function in Python recurves over 1e5 times
- Why Rust fails when I try to implement recursion with "S I I" from SKI-calculus?
- Do you multiply or add when simplifying λ-expressions?
- How does "true" evaluate in the lazy lambda calculus?
- What is (Y Y), the Y-combinator applied to itself?
- How to prove Theorem euclid_gcd : forall a b z, euclid a b z -> gcd a b z. using coq?
Related Questions in COMBINATORS
- Haskell: Is there a simpler way to express the function (\f g x y -> f (g x) (g y))? Using Applicative ((->) r)?
- How can i affect all content within a tag except a specific child tag
- Is there a Haskell combinator of type `(a -> a -> b) -> (b -> b -> c) -> a -> a -> c`?
- Combining constraints?
- Type-safely Implementing an Arbitrary Degree Blackbird Combinator (B-n Combinator)
- What does Haskell's Data.Function.on do?
- How to unambiguously trim a string with parser combinators?
- Phi combinator in Scala
- Euler function of C(n, k)
- How C++ lambda move capture *this in rvalue reference member function?
- How to implement a fast type inference procedure for SKI combinators in Python?
- How to implement SKI combinators in Prolog?
- Point-free version of g(f(x)(y))
- foldl versus foldr for merge operator
- Creating something similar to a Zip or CombineLatest of IObservables that does not fire all outputs when one updates
Related Questions in S-COMBINATOR
- Does SKS equal SKK?
- Evaluating SKI-combinators with not enough arguments
- How to type the simply typed lambda calculus term (S K K)
- How get Y combinator through S combinator or others?
- convert flip lambda into SKI terms
- S combinator in Haskell
- Lambda reductions prove S K = K I
- Conversion from lambda term to combinatorial term
- S combinator in Erlang
- To prove SKK and II are beta equivalent, lambda calculus
Trending Questions
- UIImageView Frame Doesn't Reflect Constraints
- Is it possible to use adb commands to click on a view by finding its ID?
- How to create a new web character symbol recognizable by html/javascript?
- Why isn't my CSS3 animation smooth in Google Chrome (but very smooth on other browsers)?
- Heap Gives Page Fault
- Connect ffmpeg to Visual Studio 2008
- Both Object- and ValueAnimator jumps when Duration is set above API LvL 24
- How to avoid default initialization of objects in std::vector?
- second argument of the command line arguments in a format other than char** argv or char* argv[]
- How to improve efficiency of algorithm which generates next lexicographic permutation?
- Navigating to the another actvity app getting crash in android
- How to read the particular message format in android and store in sqlite database?
- Resetting inventory status after order is cancelled
- Efficiently compute powers of X in SSE/AVX
- Insert into an external database using ajax and php : POST 500 (Internal Server Error)
Popular # Hahtags
Popular Questions
- How do I undo the most recent local commits in Git?
- How can I remove a specific item from an array in JavaScript?
- How do I delete a Git branch locally and remotely?
- Find all files containing a specific text (string) on Linux?
- How do I revert a Git repository to a previous commit?
- How do I create an HTML button that acts like a link?
- How do I check out a remote Git branch?
- How do I force "git pull" to overwrite local files?
- How do I list all files of a directory?
- How to check whether a string contains a substring in JavaScript?
- How do I redirect to another webpage?
- How can I iterate over rows in a Pandas DataFrame?
- How do I convert a String to an int in Java?
- Does Python have a string 'contains' substring method?
- How do I check if a string contains a specific word?
There's no way to do this -- consider the functions g and g ∘ g. Then Y(g) and Y(g ∘ g) are both g(g(g(g(g(...))))), so there's no way to go from Y(F) to F in general.