A logical framework with dependently typed records (2003)

Cached

Download Links

by Thierry Coquand Randy Pollack
Venue:In Proceedings of TLCA 2003, volume 2701 of LNCS
Citations:21 - 4 self