LOGICAL FRAMEWORKS - Huet, Gerard [ed.]; Plotkin, G. [ed.] (Cambridge Cambridge Univ. Pr., 1991)
Papers Presented At The First Annual Workshop, Held At Sophia-Antipolis, 1990
Keywords: Logic, Symbolic And Mathematical