Didactalia: material educativo

Siguenos en redes sociales:

buscador
Descobre
Carrito Total 0 0

226539 materialEducativo

textoFiltroFicha

Cálculo lambda simplesmente tipado

tipo de documento Artigo da Wikipedia Dbpedia Link para o artigo wikipedia

Equipo Didactalia Equipo Didactalia

  • Eu curto 0
  • Visitas 1
  • Comentarios 0
  • Guardar en
  • Ações

Sobre este recurso...

Cálculo lambda simplesmente tipado
Dbpedia
Artículo WikipediaFuente Dbpedia
O cálculo lambda simplesmente tipado (), ou cálculo lambda com tipagem simples, é um modelo da teoria dos tipos que adiciona o conceito de tipagem ao cálculo lambda. Isso é possível com adição de apenas um elemento (o construtor de tipos: ) para construir tipos de funções. Esse é o exemplo mais simples e canônico de um cálculo lambda com tipagem. O cálculo lambda simplesmente tipado foi introduzido originalmente por Alonzo Church em 1940 como uma tentativa de evitar o uso paradoxal do , o qual mostrou várias propriedades interessantes e desejadas. O termo tipo simples também é utilizado para se referir à extensões do cálculo lambda simplesmente tipado como produtos, coprodutos, números naturais () ou até recursão completa. Em contraste, sistemas que introduzem tipos polimórficos (como o ) ou não são considerados simplesmente tipados. O cálculo lambda simplesmente tipado é considerado simples por conta da Codificação de Church de suas estruturas que pode ser feita usando apenas o símbolo e variáveis de tipos adequadas, enquanto polimorfismo e dependência não podem.
Wikipedia Inglés http://en.wikipedia.org/wiki/Simply_typed_lambda_calculus
Wikipedia Español http://es.wikipedia.org/wiki/Cálculo_lambda_simplemente_tipado
Enlaces externos relacionado http://homepages.ihug.co.nz/~suckfish/papers/Church.pdf ftp://ftp.cs.ru.nl/pub/CompMath.Found/HBK.ps http://citeseerx.ist.psu.edu/viewdoc/download%3Fdoi=10.1.1.37.363&rep=rep1&type=pdf https://core.ac.uk/download/pdf/82612292.pdf https://core.ac.uk/download/pdf/82722816.pdf https://epub.ub.uni-muenchen.de/4261/1/4261.pdf https://link.springer.com/content/pdf/10.1007/3-540-17184-3_44.pdf https://link.springer.com/content/pdf/10.1007/BFb0064870.pdf https://www.sciencedirect.com/science/article/pii/0304397579900070/pdf%3Fmd5=c135c4c87182b368820db48fccffbb8d&pid=1-s2.0-0304397579900070-main.pdf&_valck=1 https://www.sciencedirect.com/science/article/pii/030439759290020G/pdf%3Fmd5=4a72ea7e53bcf4f25de0c1cf2af0d3d1&isDTMRedir=Y&pid=1-s2.0-030439759290020G-main.pdf http://www.lfcs.inf.ed.ac.uk/reports/98/ECS-LFCS-98-381/ https://pdfs.semanticscholar.org/28bf/123690205ae5bbd9f8c84b1330025e8476e4.pdf

Mapa conceitual: Cálculo lambda simplemente tipado

Conteúdo exclusivo para membros de

D/i/d/a/c/t/a/l/i/a
Iniciar sessão

Mira un ejemplo de lo que te pierdes

Categorias:

Etiquetas:

Fecha publicación: 19.3.2021

formatos disponibles

Comentar

0

Deseja fazer um comentário? Registrar o Iniciar sessão

Junte-se à Didactalia

Navegue entre 226539 recursos e 574237 pessoas

Regístrate >

O conéctate a través de:

Si ya eres usuario, Inicia sesión

Você quer acessar mais conteúdo educacional?

Iniciar sessao Participar de uma aula
x

Adicionar ao Didactalia Arrastra el botón a la barra de marcadores del navegador y comparte tus contenidos preferidos. Más info...

Ajuda do jogo
Juegos de anatomía
Juega a aprender el cuerpo humano con Didactalia
Selecciona nivel educativo