TY  - BOOK
AU  - Huet, Gerard. Ed.
AU  - Plotkin, G. Ed.
TI  - Logical Frameworks: Workshop, Sophia Antipolis,France, 1990
SN  - 0 521 41300 1
CY  - Cambridge
KW  - Logic
KW  - Frameworks
ER  -