A framework for defining logical frameworks (2006)

by Furio Honsell
Venue:University of Udine
Citations:4 - 1 self