Hakuluettelo:
Käännös:
Church encoding (suomeksi)
- Määritelmät:
- (lb, en, math) A means of representing data and operators in the lambda calculus, by forming them into a mathematical structure embedded in the lambda calculus.
Viimeisimmät haut: Church encoding, longitudinal recording, plainnesses, nonskipping, sapphists, vinegar pies