Questions tagged [fixpoint]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
-2
votes
0answers
40 views

Y-Combinator implementation, simply typed lambda calculus [closed]

I am working on the simply typed lambda calculus environment. I was reading about adding recursion and i found that we should add a new primitive type in our language to support recursion. After that, ...
5
votes
2answers
133 views

How to define list zipping categorically/inductively?

Lists and fixpoints The type of $A$-lists is defined as $\mu F_A$, where $F_A(X) = 1 + A \times X$ is the "cons-or-nil"-functor and $\mu$ is the least fixpoint operator. In Haskell syntax, this would ...