Logical Frameworks
Download or Read eBook Logical Frameworks PDF written by Gerard Huet and published by Cambridge University Press. This book was released on 1991 with total page 422 pages. Available in PDF, EPUB and Kindle.
| Author | : Gerard Huet |
| Publisher | : Cambridge University Press |
| Total Pages | : 422 |
| Release | : 1991 |
| ISBN-10 | : 0521413001 |
| ISBN-13 | : 9780521413008 |
| Rating | : 4/5 (01 Downloads) |
Book Synopsis Logical Frameworks by : Gerard Huet
Book excerpt: 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.
