Summary: 



Subtyping Dependent Types



David Aspinall Adriana Compagnoni*



LFCS, Division of Informatics Department of Computer Science

University of Edinburgh Stevens Institute of Technology

King's Buildings Castle Point on Hudson

Edinburgh EH9 3JZ, U. K. Hoboken, NJ 07030, U. S. A.

Source: Aspinall, David - School of Informatics, University of Edinburgh

Collections: Computer Technologies and Information Sciences