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
dbpprop:abstract	Twelf is an implementation of the logical framework LF. It is used for logic programming and for the formalization of programming language theory.
dbpprop:hasPhotoCollection	http://www4.wiwiss.fu-berlin.de/flickrwrappr/photos/Twelf
dbpprop:reference	http://twelf.plparty.org/
rdf:type	http://dbpedia.org/class/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	freebase:Twelf
skos:subject	dbpedia:Category:Dependently-typed_formal_languages dbpedia:Category:Logic_in_computer_science dbpedia:Category:Logic_programming_languages dbpedia:Category:Theorem_proving_software_systems dbpedia:Category:Type_theory
foaf:page	http://en.wikipedia.org/wiki/Twelf
is owl:sameAs of	yago:Twelf