Interpretation of locales in Isabelle: Managing dependencies between locales (2006)

Cached

Download Links

by Clemens Ballarin
Citations:3 - 3 self