Formalization of Generic Universe Types (2006)

by Werner Dietl , Sophia Drossopoulou , Peter Müller
Citations:4 - 4 self