About: Logical framework

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

unknown

Property	Value
dbo:wikiPageExternalLink	http://www.cs.chalmers.se/Cs/Research/Logic/book/ https://web.archive.org/web/20060104064335/http:/www.hf.uio.no/filosofi/njpl/vol1no1/meaning/meaning.html https://www.cs.cmu.edu/~fp/lfs-impl.html https://www.cs.cmu.edu/~fp/papers/mdorf01.pdf
dbo:wikiPageWikiLink	dbc:Dependently_typed_programming dbr:Oxford_University_Press dbr:Per_Martin-Löf dbr:Minimal_logic dbr:First-order_logic dbr:Turnstile_(symbol) dbr:Type_inhabitation dbr:Automated_theorem_proving dbr:Decidability_(logic) dbr:Type_theory dbc:Logic_in_computer_science dbr:Logical_system dbr:Logic dbr:Gordon_Plotkin dbr:Helmut_Schwichtenberg dbr:Impredicativity dbr:Immanuel_Kant dbr:Springer_Science+Business_Media dbr:Automath dbr:Provability_logic dbc:Type_theory dbr:Carnegie_Mellon_University dbr:University_of_Edinburgh dbr:Robert_Harper_(computer_scientist) dbr:Twelf dbc:Proof_assistants dbr:Type_inference dbr:Arnon_Avron dbr:Grammatical_Framework dbr:Frank_Pfenning dbr:Lincoln_Wallen dbr:Judgement_(mathematical_logic) dbr:Strongly_normalizing dbr:Nordic_Journal_of_Philosophical_Logic dbr:Meta-logic dbr:Dependent_type_theory dbr:Church-Rosser dbr:Isabelle_(theorem_prover) dbr:ΛΠ-calculus dbr:Propositions_as_types_principle
dbp:wikiPageUsesTemplate	dbt:Cite_book dbt:Reflist
dct:subject	dbc:Dependently_typed_programming dbc:Logic_in_computer_science dbc:Type_theory dbc:Proof_assistants
rdfs:label	Logical framework (en) 逻辑框架 (zh)
owl:sameAs	yago-res:Logical framework freebase:Logical framework wikidata:Logical framework dbpedia-zh:Logical framework dbpedia-fa:Logical framework dbpedia-global:Logical framework
prov:wasDerivedFrom	wikipedia-en:Logical_framework?oldid=1183530085&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Logical_framework
is dbo:knownFor of	dbr:Robert_Harper_(computer_scientist)
is dbo:wikiPageDisambiguates of	dbr:Lf dbr:Framework
is dbo:wikiPageRedirects of	dbr:Edinburgh_Logical_Framework dbr:LF_(logical_framework) dbr:LF_(logical_framework)
is dbo:wikiPageWikiLink of	dbr:Natural_deduction dbr:Type_theory dbr:Lf dbr:Framework dbr:Automath dbr:Edinburgh_Logical_Framework dbr:Lambda_cube dbr:Higher-order_abstract_syntax dbr:LF_(logical_framework) dbr:Grammatical_Framework dbr:Transcendental_argument_for_the_existence_of_God
is foaf:primaryTopic of	wikipedia-en:Logical_framework