Atenção: Todas as denúncias são sigilosas e sua identidade será preservada.
Os campos nome e e-mail são de preenchimento opcional
Metadados | Descrição | Idioma |
---|---|---|
Autor(es): dc.contributor | Universidade Estadual Paulista (UNESP) | - |
Autor(es): dc.creator | Zeleny, Enrique | - |
Autor(es): dc.creator | Gray, John | - |
Data de aceite: dc.date.accessioned | 2019-08-21T18:14:11Z | - |
Data de disponibilização: dc.date.available | 2019-08-21T18:14:11Z | - |
Data de envio: dc.date.issued | 2016-10-26 | - |
Data de envio: dc.date.issued | 2016-10-26 | - |
Fonte completa do material: dc.identifier | http://acervodigital.unesp.br/handle/unesp/360659 | - |
Fonte completa do material: dc.identifier | http://objetoseducacionais2.mec.gov.br/handle/mec/5265 | - |
Fonte: dc.identifier.uri | http://educapes.capes.gov.br/handle/capes/466865 | - |
Descrição: dc.description | Knowlegde about Mathematical Logic and Computer Science | - |
Descrição: dc.description | Shows the lambda calculus expressions for the indicated operations | - |
Descrição: dc.description | Componente Curricular::Educação Superior::Ciências Exatas e da Terra::Matemática | - |
Relação: dc.relation | 71ArithmeticInLambdaCalculus.nbp | - |
Direitos: dc.rights | MathematicaPlayer.exe | - |
Palavras-chave: dc.subject | Computer Science | - |
Palavras-chave: dc.subject | Foundations of mathematics | - |
Palavras-chave: dc.subject | Mathematical logic | - |
Palavras-chave: dc.subject | Lógica matemática | - |
Palavras-chave: dc.subject | Educação Superior::Ciências Exatas e da Terra::Matemática::Análise Complexa | - |
Título: dc.title | Arithmetic in lambda calculus | - |
Tipo de arquivo: dc.type | texto | - |
Aparece nas coleções: | Repositório Institucional - Acervo Digital Unesp |
O Portal eduCAPES é oferecido ao usuário, condicionado à aceitação dos termos, condições e avisos contidos aqui e sem modificações. A CAPES poderá modificar o conteúdo ou formato deste site ou acabar com a sua operação ou suas ferramentas a seu critério único e sem aviso prévio. Ao acessar este portal, você, usuário pessoa física ou jurídica, se declara compreender e aceitar as condições aqui estabelecidas, da seguinte forma: