Tag Info

users hot new synonyms

New answers tagged lambda-calculus

1

Can a normal form term be extensionally equivalent to a term with no WHNF?

S(C(KM)M)I ~ MM suffices The reduction is as follows: S(C(KM)M)Ix C(KM)Mx(Ix) C(KM)Mxx KMxMx MMx

lambda-calculus normalization universal-turing-machines

answered yesterday

dspyz

8764 silver badges13 bronze badges

Top 50 recent answers are included

Theoretical Computer Science Stack Exchange works best with JavaScript enabled