[an error occurred while processing this directive]An error occured whilst processing this directive
A Unifying Theory of Dependent Types I
Zhaohui Luo
No abstract available.
LFCS report ECS-LFCS-91-154
Previous | Index | Next
An error occured whilst processing this directive