World Directory / Computers / Bibliographies / Bibliography on Logical Frameworks

Bibliography on Logical Frameworks

Category: <a class="link-category-url" href="https://www.worlddirectory.in/Computers/Bibliographies/">Bibliographies &nbsp;
Website: <a class="link" id="id_8309" href="http://www.cs.cmu.edu/afs/cs/user/fp/www/lfs-bib.html" title="Bibliography on Logical Frameworks" target="_blank"> http://www.cs.cmu.edu/afs/cs/user/fp/www/lfs-bib.html

450 references related to logical frameworks, which are formal meta-languages for deductive systems.