Drexel dragonThe Math ForumDonate to the Math Forum

The Math Forum Internet Mathematics Library

The Practice of Logical Frameworks (1996)

_____________________________________
Library Home || Full Table of Contents || Suggest a Link || 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-2014 Drexel University. All rights reserved.
http://mathforum.org/
The Math Forum is a research and educational enterprise of the Goodwin College of Professional Studies.The Math Forum is a research and educational enterprise of the Drexel University School of Education.