List Question
20 TechQA 2024-03-16T05:18:01.353000How could this Y' same as this Y combinator itself?
31 views
Asked by ypa y yhm
Type information system recovery
72 views
Asked by Jorayen
mock - church numerals?
20 views
Asked by rebit
beta-equivalence, beta-reduction and transitive+reflexive beta-reduction
27 views
Asked by notaeasyone
Overlapping Days Calculation Nightmare
164 views
Asked by Fabricio Antonello
Lambda Calculus - Evaluating Custom Rewrite Rules to Increment
26 views
Asked by JTruant
Is it possible, using PHOAS, to evaluate a term to normal form, and then stringify it?
350 views
Asked by MaiaVictor
Are numbers also functions in functional programming?
104 views
Asked by Floof
Valid Lambda Expressions
59 views
Asked by Jason
'Segmentation Fault' occurred when Lambda Function in Python recurves over 1e5 times
81 views
Asked by nik_nul
Why Rust fails when I try to implement recursion with "S I I" from SKI-calculus?
75 views
Asked by Doubtful
Do you multiply or add when simplifying λ-expressions?
32 views
Asked by James
How does "true" evaluate in the lazy lambda calculus?
52 views
Asked by Adam Herbst
What is (Y Y), the Y-combinator applied to itself?
177 views
Asked by nmukh
How to prove Theorem euclid_gcd : forall a b z, euclid a b z -> gcd a b z. using coq?
79 views
Asked by lam_gam
Not returning all possible one-step reductions for combinatory expressions
152 views
Asked by idkDude
Exception handling in lambda calculus and functional programming
169 views
Asked by Otávio Augusto Silva
Python lambda function depending on parameter
30 views
Asked by Sasha
Encoding pair in lambda calculus
119 views
Asked by zell
Lambda Expression simplification
68 views
Asked by georgianastanea