Logical Frameworks PDF Download

Are you looking for read ebook online? Search for your book and save it on your Kindle device, PC, phones or tablets. Download Logical Frameworks PDF full book. Access full book title Logical Frameworks by Gerard Huet. Download full books in PDF and EPUB format.

Logical Frameworks

Logical Frameworks PDF Author: Gerard Huet
Publisher: Cambridge University Press
ISBN: 9780521413008
Category : Computers
Languages : en
Pages : 422

Book Description
In Logical Frameworks, first published in 1991, Huet and Plotkin gathered contributions from the first International Workshop on Logical Frameworks. The contributions are of the highest calibre. Four main themes are covered: the general problem of representing formal systems in logical frameworks, basic algorithms of general use in proof assistants, logical issues, and large-scale experiments with proof assistants.
➤