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

Home > Computer Science home > Research > Profile > Publications > A Problem of Adequacy: conservativity of calculus of constructions over higher-order logic

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 proceeding › Other contribution

Published

ID: 1774949

Research

Profile

Royal Holloway, University of London
Egham,
Surrey,
TW20 0EX

T: +44 (0)1784 434455 T: +44 (0)1784 434455