Formalization of Generic Universe Types (2006)

by W Dietl, S Drossopoulou, P Müller