A Problem of Adequacy: conservativity of calculus of constructions over higher-order logic
No abstract available.
LFCS report ECS-LFCS-90-121
Unless explicitly stated otherwise all material
is copyright © The University of Edinburgh
Comments and corrections to:
Last modified: Tuesday 29 July 2008