This HTML5 document contains 13 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

PrefixNamespace IRI
category-eshttp://es.dbpedia.org/resource/Categoría:
dcthttp://purl.org/dc/terms/
wikipedia-eshttp://es.wikipedia.org/wiki/
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
n10http://es.wikipedia.org/wiki/Cálculo_lambda_simplemente_tipado?oldid=118909729&ns=
dbpedia-eshttp://es.dbpedia.org/resource/
n8https://web.archive.org/web/20060527202447/http:/homepages.ihug.co.nz/~suckfish/papers/Church.
rdfshttp://www.w3.org/2000/01/rdf-schema#
n6ftp://ftp.cs.ru.nl/pub/CompMath.Found/HBK.
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
dbrhttp://dbpedia.org/resource/
Subject Item
wikipedia-es:Cálculo_lambda_simplemente_tipado
foaf:primaryTopic
dbpedia-es:Cálculo_lambda_simplemente_tipado
Subject Item
dbpedia-es:Cálculo_lambda_simplemente_tipado
rdfs:label
Cálculo lambda simplemente tipado
rdfs:comment
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.
dct:subject
category-es:Teoría_de_tipos
foaf:isPrimaryTopicOf
wikipedia-es:Cálculo_lambda_simplemente_tipado
dbo:wikiPageID
8349004
dbo:wikiPageRevisionID
118909729
dbo:wikiPageExternalLink
n6:ps n8:pdf
dbo:wikiPageLength
5555
prov:wasDerivedFrom
n10:0
dbo:abstract
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.
Subject Item
dbr:Simply_typed_lambda_calculus
owl:sameAs
dbpedia-es:Cálculo_lambda_simplemente_tipado