A framework for defining logics /
Harper, Robert.
Honsell, Furio.
Plotkin, G.(Gordon),1946-
University of Edinburgh.Laboratory for Foundations of Computer Science.
Edinburgh : LFCS, Dept. of Computer Science, University of Edinburgh,
1991.
Cover title.
Includes bibliography.
Logic design.
Lambda calculus.
Edinburgh LCF (Computer system)