Abstract, Compositional Consistency: Isabelle/HOL Locales for Completeness la Fitting.

Asta Halkjr From, Anders Schlichtkrull

Browse the full ITP paper archive.