G. Plotkin

G. Kahn

D.B. MacQueen

Proceedings of the International Symposium on the Semantics of Data Types.

International Symposium Sophia-Antipolis, France, June 27-29, 1984. Proceedings

Semantics of Data Types

Gerard Huet

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.

G. Plotkin

Books

Your next favorite book is out there