Solving functional equations for unknown functions in lambda calculus – cs.stackexchange.com

Solving functional equations for unknown functions in lambda calculus – cs.stackexchange.com

01:26 No Comments
Are there any techniques for solving functional equations for unknown functions in lambda calculus? Suppose I have the identity function defined extensionally as such: $I x = x$ (that is, by ...

from Hot Questions - Stack Exchange OnStackOverflow
via Blogspot

Share this

Unknown

Artikel Terkait

0 Comment to "Solving functional equations for unknown functions in lambda calculus – cs.stackexchange.com"

Post a Comment

Subscribe to: Post Comments (Atom)