511.3 / L829
LOGICAL FRAMEWORKS
/ edited by Gerard Huet and G. Plotkin
.- Cambridge: Cambridge Univ. Pr., c1991
.- xii, 403p.
Papers Presented At The First Annual Workshop, Held At Sophia-Antipolis, 1990
ISBN: 0521413001
Subject Headings:
Logic, Symbolic And Mathematical;
Author Added Entry:
Huet, Gerard [ed.];
Plotkin, G. [ed.];
Copy Details:
Acc. No.: A114190, Full Call No.: 511.3 L829, Item type: Books , Location: COMPACT STORAGE (BASEMENT),
------------------------- --------------------- ------ --------- ------- ------- --------- --------