Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
A Modular Hierarchy of Logical Frameworks Robin Adams
 

Summary: 



A Modular Hierarchy of Logical Frameworks



Robin Adams


University of Manchester
robin.adams@ma.man.ac.uk



Abstract. We present a method for defining logical frameworks as a
collection of features which are defined and behave independently of one
another. Each feature is a set of grammar clauses and rules of deduction
such that the result of adding the feature to a framework is a conservative

  

Source: Adams, Robin - Department of Computer Science, Royal Holloway, University of London

 

Collections: Computer Technologies and Information Sciences