Didactalia: material educativo

Siguenos en redes sociales:

buscador
Entdeck
Carrito Total 0 0

226539 materialEducativo

textoFiltroFicha

Cálculo lambda simplemente tipado

tipo de documento Wikipedia-Artikel Dbpedia Link zum Wikipedia-Artikel

Equipo Didactalia Equipo Didactalia

  • Gefällt mir 0
  • Besuche/Aufrufe 1
  • Kommentare 0
  • Speichert in
  • Aktionen

Über diese Ressource...

Cálculo lambda simplemente tipado
Dbpedia
Artículo WikipediaFuente Dbpedia
El cálculo lambda simplemente tipado () es una teoría de tipos basada en el cálculo de lambda con un único , , que construye . Es el ejemplo canónico y más sencillo de un cálculo lambda tipado. El cálculo lambda simplemente tipado fue originalmente introducido por Alonzo Church en el 1940 como un intento de evitar la aparición de paradojas en el cálculo lambda sin tipos. El término simplemente tipado es también utilizado para referirse a extensiones del cálculo lambda simplemente tipado con productos, coproductos, números naturales () o incluso recursión (como en el lenguaje PCF). En contraste, los sistemas que introducen tipos polimórficos (como ) o (como el ) no se consideran simplemente tipados. Los primeros, excepto aquellos que implementan recursión arbitraria, se consideran todavía simplemente tipados porque la de estas estructuras puede hacerse utilizando solamente y variables de tipo, mientras que el polimorfismo y la dependencia no pueden expresarse de esta forma.
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

Konzeptionelle Karte: Cálculo lambda simplemente tipado

Exklusive Inhalte für Mitglieder von

D/i/d/a/c/t/a/l/i/a
Anmelden

Mira un ejemplo de lo que te pierdes

Kategorien:

Tags:

Fecha publicación: 19.3.2021

formatos disponibles

Kommentieren

0

Möchtest du einen Kommentar abgeben? Registriere dich oder inicia sesión

Mach mit bei Didactalia

Browse among 226539 resources and 574244 people

Regístrate >

O conéctate a través de:

Si ya eres usuario, Inicia sesión

Möchten Sie auf weitere Bildungsinhalte zugreifen?

Einloggen Tritt einer Klasse bei
x

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

Spielhilfe
Juegos de anatomía
Juega a aprender el cuerpo humano con Didactalia
Selecciona nivel educativo