Arithmetic in lambda calculus

dc.contributorUniversidade Estadual Paulista (UNESP)
dc.creatorZeleny, Enrique
dc.creatorGray, John
dc.date2016-10-26T17:47:40Z
dc.date2016-10-26T17:47:40Z
dc.date.accessioned2017-04-06T11:36:32Z
dc.date.available2017-04-06T11:36:32Z
dc.identifierhttp://acervodigital.unesp.br/handle/unesp/360659
dc.identifierhttp://objetoseducacionais2.mec.gov.br/handle/mec/5265
dc.identifier.urihttp://repositorioslatinoamericanos.uchile.cl/handle/2250/956941
dc.descriptionKnowlegde about Mathematical Logic and Computer Science
dc.descriptionShows the lambda calculus expressions for the indicated operations
dc.descriptionComponente Curricular::Educação Superior::Ciências Exatas e da Terra::Matemática
dc.relation71ArithmeticInLambdaCalculus.nbp
dc.rightsMathematicaPlayer.exe
dc.subjectComputer Science
dc.subjectFoundations of mathematics
dc.subjectMathematical logic
dc.subjectLógica matemática
dc.subjectEducação Superior::Ciências Exatas e da Terra::Matemática::Análise Complexa
dc.titleArithmetic in lambda calculus
dc.typeOtro


Este ítem pertenece a la siguiente institución