Web Directory

    Top: Computers: Computer_Science: Publications: Bibliographies:

 

Bibliography on Logical Frameworks

  Link Details for: Bibliography on Logical Frameworks
Link Title: Bibliography on Logical Frameworks Open in a new window
Link URL: http://www.cs.cmu.edu/afs/cs/user/fp/www/lfs-bib.html
Link Details: 450 references related to logical frameworks, which are formal meta-languages for deductive systems.
Category: Top : Computers : Computer_Science : Publications : Bibliographies
Link Type: Lock this listing - So it can't be removedLock this listing - and upgrade it to FeaturedReport this listingAdd a regular link to the same category
ScreenShot:
Bibliography on Logical Frameworks