**A Problem of Adequacy: conservativity of calculus of constructions over higher-order logic.** / Luo, Z.

Research output: Chapter in Book/Report/Conference proceeding › Other contribution

Published

**A Problem of Adequacy: conservativity of calculus of constructions over higher-order logic.** / Luo, Z.

Research output: Chapter in Book/Report/Conference proceeding › Other contribution

Luo, Z 1990, A Problem of Adequacy: conservativity of calculus of constructions over higher-order logic. in *LFCS Report Series.* LFCS, Edinburgh Univ.

Luo, Z. (1990). A Problem of Adequacy: conservativity of calculus of constructions over higher-order logic. In *LFCS Report Series *LFCS, Edinburgh Univ.

Luo Z. A Problem of Adequacy: conservativity of calculus of constructions over higher-order logic. In LFCS Report Series. LFCS, Edinburgh Univ. 1990

@inbook{a5bed2aa3d744ff8a65f6e42bea959e1,

title = "A Problem of Adequacy: conservativity of calculus of constructions over higher-order logic",

author = "Z. Luo",

year = "1990",

language = "English",

booktitle = "LFCS Report Series",

publisher = "LFCS, Edinburgh Univ",

}

TY - CHAP

T1 - A Problem of Adequacy: conservativity of calculus of constructions over higher-order logic

AU - Luo, Z.

PY - 1990

Y1 - 1990

M3 - Other contribution

BT - LFCS Report Series

PB - LFCS, Edinburgh Univ

ER -