LF (logical framework)

From Free net encyclopedia

Revision as of 22:44, 18 January 2006; view current revision
←Older revision | Newer revision→

In type theory, the LF logical framework was one of the first logical frameworks, that is a formal calculus for the description of formal systems and reasoning about them. Three key features of the LF type theory are:

The LF logical framework is implemented in the Twelf system at Carnegie Mellon University. Twelf includes