DMCA

Dependent types at work (2009)

by Ana Bove , Peter Dybjer
Venue:LERNET 2008. LNCS
Citations:21 - 1 self