A Unifying Theory of Dependent Types I

University home page

School home page

University home page

LFCS home page

People
Events
Research

A Unifying Theory of Dependent Types I

Zhaohui Luo

No abstract available.

LFCS report ECS-LFCS-91-154

Previous | Index | Next

Unless explicitly stated otherwise all material
is copyright © The University of Edinburgh

Comments and corrections to: LFCS Webmaster
Last modified: Tuesday 29 July 2008