Resultados da pesquisa

...efinida em termos do [[cálculo lambda]]. '''Zot''' é uma versão continuada de Iota, que inclui entrada e saída. O combinador universal de Iota é o [[cálculo lambda|termo lambda]] <math>U = \lambda f.((fS)K)</math> ...