¿El teorema smn es el mismo concepto que curry?

Estoy estudiando el teorema smn y el concepto me recordó al curry.

Del artículo de Wikipedia sobre el teorema smn :

El teorema dice que para un lenguaje de programación dado y enteros positivos myn, existe un algoritmo particular que acepta como entrada el código fuente de un programa con m + n variables libres, junto con m valores. Este algoritmo genera código fuente que sustituye efectivamente los valores de las primeras m variables libres, dejando el resto de las variables libres.

De un artículo sobre curry :

Intuitivamente, el curry dice "si arreglas algunos argumentos, obtienes una función de los argumentos restantes"

Me parece la misma idea. La única razón por la que no estoy seguro es que los materiales que encontré en smn no mencionan el curry (y viceversa), por lo que quería consultarlo para asegurarme de que realmente lo obtengo.

Sí, es lo mismo.

$\lambda$$A \times B \to C$$A \to (B \to C)$$A$$B$$A$$B$$\lambda$

$(A, \nu_A)$$A$$\nu_A : \mathbb{N} \to A$$A$$\nu_A(n) = x$$n$$x$$\varphi$$\varphi_n(k)$$n$$k$

$f : (A, \nu_A) \to (B, \nu_B)$$n \in \mathbb{N}$$f(\nu_A(k)) = \nu_B(\varphi_n(k))$$k$$\nu_A$$\varphi_n$$f$$\phi_n$$f$

$\lambda$