LOGICAL ENVIRONMENTS - Huet,Gerard; Plotkin,Gordon (Cambridge Univ. Press, Cambridge, 1993)
Includes Bibliographical References.
Keywords: Logic, Symbolic And Mathematical