Drexel dragonThe Math Forum

The Math Forum Internet Mathematics Library

The Practice of Logical Frameworks (1996)

Library Home || Full Table of Contents || Library Help

Visit this site: http://citeseer.nj.nec.com/pfenning96practice.html

Author:Frank Pfenning
Description: A survey article discussing the history of work on logical frameworks and their current open problems. Deductive systems, given via axioms and rules of inference, are a common conceptual tool in mathematical logic and computer science. They are used to specify many varieties of logics and logical theories as well as aspects of programming languages such as type systems or operational semantics. A logical framework is a meta-language for the specification of deductive systems...

Levels: College
Languages: English
Resource Types: Articles
Math Topics: Logic/Foundations, Computer Science

[Privacy Policy] [Terms of Use]

Home || The Math Library || Quick Reference || Search || Help

© 1994- The Math Forum at NCTM. All rights reserved.