Curry-Howard correspondence

Anglisy

Anarana

Curry-Howard correspondence

1. Ny thèse izay milaza ny fisian'ny fitoviana na ny fifanarahan'ny — amin'ny lafiny iray — lojika manorina porofo matematika sy ny programa (indrindra fa ny fiasan'ny fiteny fandaharana miasa), ary — amin'ny lafiny iray hafa — eo amin'ny raikipohy (voaporofo amin'ny porofo voalaza etsy ambony) sy ny karazana (an'ny fiasa voalaza etsy ambony)

Tsiahy

• Ity pejy ity dia nadika avy amin'ny pejy Curry-Howard correspondence tao amin'ny Wikibolana amin'ny teny anglisy. (lisitry ny mpandray anjara)