Didactalia: material educativo

Siguenos en redes sociales:

What can I do?

buscador
Discover
Carrito Total 0 0

226539 materialEducativo

textoFiltroFicha

Simply typed lambda calculus

tipo de documento Wikipedia article Dbpedia Link to wikipedia article

Equipo Didactalia Equipo Didactalia

  • I like 0
  • Visits 1
  • Comments 0
  • Save to
  • Actions

About this resource...

Simply typed lambda calculus
Dbpedia
Wikipedia articleDbpedia source
The simply typed lambda calculus (), a formof type theory, is a typed interpretation of the lambda calculus with only one type constructor: that builds function types. It is the canonical and simplest example of a typed lambda calculus. The simply typed lambda calculus was originally introduced by Alonzo Church in 1940 as an attempt to avoid paradoxical uses of the untyped lambda calculus, and it exhibits many desirable and interesting properties. The term simple type is also used to refer to extensions of the simply typed lambda calculus such as products, coproducts or natural numbers (System T) or even full recursion (like PCF). In contrast, systems which introduce polymorphic types (like System F) or dependent types (like the Logical Framework) are not considered simply typed. The former, except full recursion, are still considered simple because the Church encodings of such structures can be done using only and suitable type variables, while polymorphism and dependency cannot.
English Wikipedia http://en.wikipedia.org/wiki/Simply_typed_lambda_calculus
Spanish wikipedia http://es.wikipedia.org/wiki/Cálculo_lambda_simplemente_tipado
Wiki page external link 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

Conceptual map: Cálculo lambda simplemente tipado

Exclusive content for members of

D/i/d/a/c/t/a/l/i/a
Sign in

Mira un ejemplo de lo que te pierdes

Categories:

Tags:

Fecha publicación: 19.3.2021

formatos disponibles

Comment

0

Do you want to comment? Sign up or Sign in

Join Didactalia

Browse among 226539 resources and 574237 people

Regístrate >

O conéctate a través de:

Si ya eres usuario, Inicia sesión

Do you want to access more educational content?

Sign in Join a class
x

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

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