Arithmetic in lambda calculus

Otro

Registro en:

http://acervodigital.unesp.br/handle/unesp/360659

http://objetoseducacionais2.mec.gov.br/handle/mec/5265

http://repositorioslatinoamericanos.uchile.cl/handle/2250/956941

Autor

Zeleny, Enrique

Gray, John

Institución

Universidade Paulista Júlio de Mesquita Filho (Brasil)

Resumen

Knowlegde about Mathematical Logic and Computer Science

Shows the lambda calculus expressions for the indicated operations

Componente Curricular::Educação Superior::Ciências Exatas e da Terra::Matemática

Materias

Computer Science

Foundations of mathematics

Mathematical logic

Lógica matemática

Educação Superior::Ciências Exatas e da Terra::Matemática::Análise Complexa

Mostrar el registro completo del ítem