The Practice of Logical Frameworks (1996)
Library Home || Full Table of Contents || Library Help
|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...|
|Math Topics:||Logic/Foundations, Computer Science|
© 1994- The Math Forum at NCTM. All rights reserved.