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

PropertyValue
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
dcterms:subject
rdf:type
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
foaf:page
is owl:sameAs of
is foaf:primaryTopic of