About: Teoría de tipos

Property	Value
dbo:wikiPageID	3569004 (xsd:integer)
dbo:wikiPageRevisionID	68806096 (xsd:integer)
rdf:type	skos:Concept
rdfs:label	Teoría de tipos (es) Teoría de tipos (es)
skos:broader	category-es:Informática_teórica category-es:Lenguajes_de_programación category-es:Teorías_matemáticas category-es:Álgebra_abstracta
skos:prefLabel	Teoría de tipos (es) Teoría de tipos (es)
prov:wasDerivedFrom	wikipedia-es:Categoría:Teoría_de_tipos?oldid=68806096&ns=14
is dct:subject of	dbpedia-es:Teoría_de_tipos dbpedia-es:Tipado_débil dbpedia-es:Nuevos_Fundamentos dbpedia-es:Principio_de_abierto/cerrado dbpedia-es:Sistema_de_tipos dbpedia-es:Cálculo_lambda_simplemente_tipado dbpedia-es:Tipado_fuerte dbpedia-es:Inferencia_de_tipos dbpedia-es:Tipado_estático dbpedia-es:Correspondencia_de_Curry-Howard dbpedia-es:Tipo_de_dato dbpedia-es:Tipo_opcional dbpedia-es:Covariancia_y_contravariancia_(ciencias_de_la_computación) dbpedia-es:Teoría_de_tipos_homotópica dbpedia-es:Tipado_dinámico dbpedia-es:Tipo_abstracto dbpedia-es:Principio_de_sustitución_de_Liskov dbpedia-es:Duck_typing dbpedia-es:Tipado_sensitivo_al_flujo dbpedia-es:Conversión_de_tipos dbpedia-es:Álgebra_inicial
is skos:broader of	category-es:Tipos_abstractos_de_datos