About: Twelf

Twelf is an implementation of the logical framework LF. It is used for logic programming and for the formalization of programming language theory.

Property	Value
dbpedia-owl:abstract	Twelf is an implementation of the logical framework LF. It is used for logic programming and for the formalization of programming language theory.
dbpedia-owl:wikiPageExternalLink	http://twelf.plparty.org/
dcterms:subject	category:Logic_in_computer_science category:Type_theory category:Logic_programming_languages category:Theorem_proving_software_systems category:Dependently_typed_formal_languages
rdf:type	yago:Dependently-typedFormalLanguAges
rdfs:comment	Twelf is an implementation of the logical framework LF. It is used for logic programming and for the formalization of programming language theory.
rdfs:label	Twelf
owl:sameAs	fbase:Twelf
foaf:page	http://en.wikipedia.org/wiki/Twelf
is owl:sameAs of	http://www4.wiwiss.fu-berlin.de/flickrwrappr/photos/Twelf yago-res:Twelf
is foaf:primaryTopic of	http://en.wikipedia.org/wiki/Twelf