Logical Frameworks
Published
2012
Publisher
Cambridge University Press
ISBN-13
9781139242912
Frequently Asked Questions
Who is the author of Logical Frameworks?
Logical Frameworks was written by Gèrard Huet, G. Plotkin.
When was Logical Frameworks published?
The publication date for this specific edition is 2012. The original work may have been published on a different date.