Otro
Arithmetic in lambda calculus
Autor
Zeleny, Enrique
Gray, John
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