Twelf

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

Topic mentions per year

Topic mentions per year

1982-2018
051019822018

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2009
2009
Logical framework research is based on the philosophical point of view that it should be possible to capture mathematical… (More)
Is this relevant?
2008
2008
Foundational certified code systems seek to prove untrusted programs to be safe relative to safety policies given in terms of… (More)
  • figure 1
  • table I
  • table II
  • table III
Is this relevant?
2008
2008
Normalization for the simply-typed λ-calculus is proven in Twelf, an implementation of the Edinburgh Logical Framework. Since due… (More)
  • figure 1
  • figure 2
Is this relevant?
2006
2006
Howe’s HOL/Nuprl connection is an interesting example of a translation between two fundamentally different logics, namely a typed… (More)
Is this relevant?
2005
2005
Logical systems are represented in LF by giving a full and faithful (adequate) embedding of the deductive apparatus of the logic… (More)
Is this relevant?
2004
2004
Weak normalization for the simply-typed λ-calculus is proven in Twelf, an implementation of the Edinburgh Logical Framework… (More)
  • figure 1
Is this relevant?
2004
2004
λProlog is known to be well-suited for expressing and implementing logics and inference systems. We show that lemmas and… (More)
  • figure 1
Is this relevant?
2001
2001
We compare several methods of implementing the display (sequent) calculus RA for relation algebra in the logical frameworks… (More)
Is this relevant?
Review
1999
Review
1999
Twelf is a meta-logical framework for the specification, implementation, and meta-theory of deductive systems from the theory of… (More)
Is this relevant?
1999
1999
Twelf is a meta-logical framework for the speciication, implementation , and meta-theory of deductive systems from the theory of… (More)
Is this relevant?