Cálculo Lambda
at
DBpedia LatAm
http://es-la.dbpedia.org/resource/Cálculo_Lambda
Is
Conocido Por
of
dbpedia-latam:
Alonzo_Church
foaf:
isPrimaryTopicOf
wiki-latam:
Cálculo_Lambda
Is
dbpedia-owl:
knownFor
of
dbpedia-latam:
Alonzo_Church
rdfs:
label
Cálculo Lambda
(es)
Is
foaf:
primaryTopic
of
wiki-latam:
Cálculo_Lambda
prov:
wasDerivedFrom
wiki-latam:
Cálculo_Lambda?oldid=894680
dbpedia-owl:
wikiPageID
82687
(xsd:integer)
dbpedia-owl:
wikiPageLength
29
(xsd:integer)
dbpedia-owl:
wikiPageOutDegree
1
(xsd:integer)
dbpedia-owl:
wikiPageRedirects
dbpedia-latam:
Cálculo_lambda
dbpedia-owl:
wikiPageRevisionID
894680
(xsd:integer)
dbpedia-owl:
wikiPageWikiLink
dbpedia-latam:
Cálculo_lambda
Is
dbpedia-owl:
wikiPageWikiLink
of
dbpedia-latam:
Alonzo_Church
dbpedia-latam:
Ciencias_de_la_computación
dbpedia-latam:
Función_recursiva
dbpedia-latam:
Inferencia_de_tipos
dbpedia-latam:
Programación_a_nivel_funcional
dbpedia-latam:
Programación_funcional
dbpedia-latam:
Teoría_de_la_computabilidad
dbpedia-latam:
Teoría_de_la_computación
dbpedia-latam:
Tesis_de_Church-Turing