Home
 

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

Zhaohui Luo

No abstract available.

LFCS report ECS-LFCS-90-121

Previous | Index | Next