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

LFCS Report Series. LFCS, Edinburgh Univ, 1990.

Research output: Chapter in Book/Report/Conference proceedingOther contribution

Published

Standard

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

LFCS Report Series. LFCS, Edinburgh Univ, 1990.

Research output: Chapter in Book/Report/Conference proceedingOther contribution

Harvard

APA

Vancouver

Author

BibTeX

@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",

}

RIS

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 -