Twelf is an implementation of the logical framework LF developed by Frank Pfenning and Carsten Schürmann at Carnegie Mellon University . It is used for logic programming and for the formalization of programming language theory.

Property Value
dbo:abstract
  • Twelf is an implementation of the logical framework LF developed by Frank Pfenning and Carsten Schürmann at Carnegie Mellon University . It is used for logic programming and for the formalization of programming language theory. (en)
dbo:wikiPageExternalLink
dbo:wikiPageID
  • 2058228 (xsd:integer)
dbo:wikiPageLength
  • 7139 (xsd:integer)
dbo:wikiPageRevisionID
  • 927096528 (xsd:integer)
dbo:wikiPageWikiLink
dbp:wikiPageUsesTemplate
dct:subject
rdf:type
rdfs:comment
  • Twelf is an implementation of the logical framework LF developed by Frank Pfenning and Carsten Schürmann at Carnegie Mellon University . It is used for logic programming and for the formalization of programming language theory. (en)
rdfs:label
  • Twelf (en)
owl:sameAs
prov:wasDerivedFrom
foaf:isPrimaryTopicOf
is dbo:wikiPageWikiLink of
is foaf:primaryTopic of