Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

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

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… Expand
Is this relevant?
2008
2008
  • Andreas Abel
  • Electron. Notes Theor. Comput. Sci.
  • 2008
  • Corpus ID: 5803827
Normalization for the simply-typed @l-calculus is proven in Twelf, an implementation of the Edinburgh Logical Framework. Since… Expand
  • table 1
  • figure 7
Is this relevant?
Highly Cited
2007
Highly Cited
2007
It is rare to give a semantic definition of a full-scale programming language, despite the many potential benefits. Partly this… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
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… Expand
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… Expand
Is this relevant?
2004
2004
Howe’s HOL/Nuprl connection is an interesting example of a translation between two fundamentally different logics, namely a typed… Expand
Is this relevant?
2001
2001
Abstract Logical frameworks are computer systems which allow a user to formalise mathematics using specially designed languages… Expand
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… Expand
Is this relevant?
1998
1998
This study outlines distributional properties and tests the applicability of different models for the ISEQ index and its major… Expand
  • table 1
  • figure 1
  • table 2
  • table 3
  • table 4
Is this relevant?
1998
1998
This paper, using a multivariate VAR-GARCH analysis, examines the role of the UK stock market in the price behaviour of the ten… Expand
  • table 1
  • table 2
  • table 3
Is this relevant?