¿Qué puedo hacer?

buscador
Descubre
Carrito Total 0 0

226539 materialEducativo

textoFiltroFicha
  • Me gusta 0
  • Visitas 1
  • Comentarios 0
  • Guardar en
  • Acciones

Acerca de este recurso...

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.

Mapa Conceptual: Cálculo lambda simplemente tipado

Contenido exclusivo para miembros de

D/i/d/a/c/t/a/l/i/a
Iniciar sesión

Mira un ejemplo de lo que te pierdes

Categorías:

Etiquetas:

Fecha publicación: 19.3.2021

Comentar

0

¿Quieres comentar? Regístrate o inicia sesión

Únete a Didactalia

Navega entre 226539 recursos y 574237 usuarios

Regístrate >

O conéctate a través de:

Si ya eres usuario, Inicia sesión

¿Quieres acceder a más contenidos educativos?

Iniciar sesión Únete a una clase
x

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

Ayuda del juego
Juegos de anatomía
Selecciona nivel educativo