Logical Environments
| Author | : Gerard Huet |
| Publisher | : Cambridge University Press |
| Total Pages | : 360 |
| Release | : 1993-09-16 |
| ISBN-10 | : 0521433126 |
| ISBN-13 | : 9780521433129 |
| Rating | : 4/5 (129 Downloads) |
Book Synopsis Logical Environments by : Gerard Huet
Download or read book Logical Environments written by Gerard Huet and published by Cambridge University Press. This book was released on 1993-09-16 with total page 360 pages. Available in PDF, EPUB and Kindle. Book excerpt: In Logical Frameworks, Huet and Plotkin gathered contributions from the first International Workshop on Logical Frameworks. This volume has grown from the second workshop, and as before 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.